Skip to content

stoney0062

Leanabell-Prover-DS-SFT

stoney0062/Leanabell-Prover-DS-SFT

Leanabell-Prover-DS-SFT 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

8

5% of all-time downloads

All-time downloads

149

Public

Parameters

6.9B

13.8 GB on disk

Likes

0

Public

Hugging Face

Repo makeup

Click a slice to open those files.

.safetensors13.8 GB · 100%

At a glance

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