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
1.6K
last 30d
66.5K
all time
HF Likes
32
Relative Adoption Metric not scored because required parameter, download, or API metadata is not cataloged. This is not a zero score.
Related Models
