A Lean 4 generation model for proofs, built on top of Qwen2.5 72B.
Specs
Params72B
LicenseMIT (Qwen2.5 Base)
Tags
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
115
last 30d
652.8K
all time
HF Likes
35
Relative Adoption Metric not scored because required parameter, download, or API metadata is not cataloged. This is not a zero score.
Related Models
