Skip to content

stoney0062

Leanabell-Prover-DS-RL

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

Hugging Face

Repo makeup

Click a slice to open those files.

.safetensors27.6 GB · 100%

At a glance

License
apache-2.0
Model type
llama
Access
Public
Created
Apr 15, 2025
Updated
Apr 15, 2025
SHA
d94c022d
Type
llama
License
apache-2.0
Created
Apr 15, 2025
Updated
Apr 15, 2025