stars

stoney0062

2

·

AI & ML interests

None yet

Organizations

Collections 2

models 6

stoney0062/Leanabell-Prover-V2-DS

7B • Updated Aug 22, 2025 • 13 • 1

stoney0062/Leanabell-Prover-V2-KM

8B • Updated Aug 22, 2025 • 12 • 1

stoney0062/Leanabell-Prover-GD-RL

7B • Updated Apr 16, 2025 • 5 • 1

stoney0062/Leanabell-Prover-GD-SFT

7B • Updated Apr 15, 2025 • 4

stoney0062/Leanabell-Prover-DS-RL

7B • Updated Apr 15, 2025 • 5

stoney0062/Leanabell-Prover-DS-SFT

7B • Updated Apr 15, 2025 • 3

datasets 3

stoney0062/Leanabell-Prover-V2-Coldstart-DS

Viewer • Updated Aug 22, 2025 • 5.64k • 27 • 1

stoney0062/Leanabell-Prover-Traindata-SFT

Viewer • Updated Apr 16, 2025 • 219k • 40 • 1

stoney0062/Leanabell-Prover-Formal-Statement

Viewer • Updated Apr 16, 2025 • 1.13M • 26 • 4