Downloads · 30 days
7
16% of all-time downloads
stoney0062/Leanabell-Prover-DS-RL
Leanabell-Prover-DS-RL 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.
Downloads · 30 days
7
16% of all-time downloads
All-time downloads
44
Public
Parameters
6.9B
27.6 GB on disk
Likes
0
Public
Click a slice to open those files.
.safetensors27.6 GB · 100%