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