Downloads · 30 days
12
16% of all-time downloads
Leanabell-Prover-V2-KM
stoney0062/Leanabell-Prover-V2-KM
Leanabell-Prover-V2-KM is a machine learning model from stoney0062. Use it for the machine learning task on the model card, and read the license before you ship it in a product. The card lists the license as apache-2.0.
All-time downloads
76
Public
Parameters
7.6B
15.2 GB on disk
Likes
1
Public
Repo makeup
Click a slice to open those files.
.safetensors15.2 GB · 100%
At a glance
- License
- apache-2.0
- Model type
- qwen2
- Access
- Public
- Created
- Aug 22, 2025
- Updated
- Aug 22, 2025
- SHA
- 1bf6ddf6
- Type
- qwen2
- License
- apache-2.0
- Created
- Aug 22, 2025
- Updated
- Aug 22, 2025