Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
stoney0062
/
Leanabell-Prover-GD-RL
like
0
Safetensors
llama
Model card
Files
Files and versions
xet
Community
No model card
Downloads last month
25
Safetensors
Model size
6.91B params
Tensor type
F32
·
Chat template
Files info
Inference Providers
NEW
This model isn't deployed by any Inference Provider.
🙋
Ask for provider support
Model tree for
stoney0062/Leanabell-Prover-GD-RL
Quantizations
1 model
Collection including
stoney0062/Leanabell-Prover-GD-RL
Leanabell-Prover
Collection
The official release of Leanabell-Prover
•
6 items
•
Updated
Apr 16
•
2