Another proof generator outputting Lean code.
Specs
Params32B
LicenseApache-2.0
Tags
Similarity · VAIL
VAIL Fingerprint
0028:003b:0060:0086:00bb:0143:02c1:588f
Explore other models with behavioral similarity to Goedel-Prover-V2-32B.
Resources
Adoption · Hugging Face
RAM score
—
Hugging Face Downloads
17.4K
last 30d
219.2K
all time
HF Likes
72
Relative Adoption Metric contextualizes downloads against the model's size bucket.
Related Models
