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
—
Hugging Face Downloads
134
last 30d
64.3K
all time
HF Likes
31
Relative Adoption Metric contextualizes downloads against the model's size bucket.
Related Models
