stars's picture

2

stars

stoney0062

·

AI & ML interests

None yet

Organizations

None yet

stoney0062 's datasets 3

stoney0062/Leanabell-Prover-V2-Coldstart-DS

Viewer • Updated Aug 22, 2025 • 5.64k • 18

stoney0062/Leanabell-Prover-Traindata-SFT

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

stoney0062/Leanabell-Prover-Formal-Statement

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