A proof-generation model trained on proofs generated by the programming language (and theorem prover) Lean 4.
Specs
Params7B
LicenseMIT
Tags
Similarity · VAIL
VAIL Fingerprint
0036:0058:008c:0100:0132:0350:0847:5b0c
Explore other models with behavioral similarity to Goedel-Prover-SFT.
Adoption · Hugging Face
RAM score
Relative Adoption Metric not scored because required parameter, download, or API metadata is not cataloged. This is not a zero score.
Hugging Face Downloads
348
last 30d
64.7K
all time
HF Likes
31
Relative Adoption Metric not scored because required parameter, download, or API metadata is not cataloged. This is not a zero score.
Related Models
