Another Lean4 generation model.
Specs
Params32B
LicenseApache-2.0
Tags
Similarity · VAIL
VAIL Fingerprint
0036:0042:0062:0085:00d0:013a:05b1:5d65
Explore other models with behavioral similarity to BFS-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
94
last 30d
2.3K
all time
HF Likes
13
Relative Adoption Metric not scored because required parameter, download, or API metadata is not cataloged. This is not a zero score.
Related Models
