stars's picture

2

stars

stoney0062

·

AI & ML interests

None yet

Recent Activity

updated a collection 4 days ago

Leanabell-Prover

updated a collection 4 days ago

Leanabell-Prover

updated a dataset 4 days ago

stoney0062/Leanabell-Prover-Traindata-SFT

View all activity

Organizations

None yet

Collections 1

models 4

stoney0062/Leanabell-Prover-GD-RL

Updated 4 days ago • 7

stoney0062/Leanabell-Prover-GD-SFT

Updated 5 days ago • 3

stoney0062/Leanabell-Prover-DS-RL

Updated 5 days ago • 6

stoney0062/Leanabell-Prover-DS-SFT

Updated 5 days ago • 4

datasets 2

stoney0062/Leanabell-Prover-Traindata-SFT

Viewer • Updated 4 days ago • 219k • 28

stoney0062/Leanabell-Prover-Formal-Statement

Viewer • Updated 4 days ago • 1.13M • 15