SJTULean

community

AI & ML interests

None defined yet.

SJTULean 's datasets 3

SJTULean/LeanStatement_CoT

Viewer • Updated Dec 25, 2024 • 142k • 17 • 2

SJTULean/LeanStatement_SFT

Viewer • Updated Dec 25, 2024 • 1.96M • 40 • 2

SJTULean/LeanStatement_RL

Viewer • Updated Dec 25, 2024 • 5.76M • 26 • 1