SJTULean

community

AI & ML interests

None defined yet.

SJTULean 's datasets 3

SJTULean/LeanStatement_CoT

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

SJTULean/LeanStatement_SFT

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

SJTULean/LeanStatement_RL

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