stars's picture

2

stars

stoney0062

·

AI & ML interests

None yet

Recent Activity

updated a collection about 1 month ago

Leanabell-Prover-V2

updated a dataset about 1 month ago

stoney0062/Leanabell-Prover-V2-Coldstart-DS

published a dataset about 1 month ago

stoney0062/Leanabell-Prover-V2-Coldstart-DS

View all activity

Organizations

None yet

Collections 2

models 6

stoney0062/Leanabell-Prover-V2-DS

7B • Updated Aug 22 • 8

stoney0062/Leanabell-Prover-V2-KM

8B • Updated Aug 22 • 9

stoney0062/Leanabell-Prover-GD-RL

7B • Updated Apr 16 • 25

stoney0062/Leanabell-Prover-GD-SFT

7B • Updated Apr 15 • 3

stoney0062/Leanabell-Prover-DS-RL

7B • Updated Apr 15 • 6

stoney0062/Leanabell-Prover-DS-SFT

7B • Updated Apr 15 • 4

datasets 3

stoney0062/Leanabell-Prover-V2-Coldstart-DS

Viewer • Updated Aug 22 • 5.64k • 70

stoney0062/Leanabell-Prover-Traindata-SFT

Viewer • Updated Apr 16 • 219k • 22 • 1

stoney0062/Leanabell-Prover-Formal-Statement

Viewer • Updated Apr 16 • 1.13M • 14 • 4