LM Provers

Team

community

AI & ML interests

None defined yet.

Recent Activity

lewtun new activity about 9 hours ago

lm-provers/QED-Nano:Training costs question

lewtun updated a model about 9 hours ago

lm-provers/QED-Nano

lewtun published a dataset 1 day ago

lm-provers/olympiads-proof-graderbench

View all activity

Collections 1

spaces 1

QED-Nano: Teaching a Tiny Model to Prove Hard Theorems

Who needs 1T parameters? Olympiad proofs with a 4B model

models 2

lm-provers/QED-Nano

Text Generation • 4B • Updated about 9 hours ago • 169 • 46

lm-provers/QED-Nano-SFT

Text Generation • 4B • Updated 2 days ago • 11 • 3

datasets 6

lm-provers/FineProofs-RL

Viewer • Updated 2 days ago • 5.23k • 9 • 2

lm-provers/FineProofs-SFT

Viewer • Updated 2 days ago • 12.1k • 13 • 2

lm-provers/ProofBench

Viewer • Updated Jan 9 • 290 • 133 • 1

lm-provers/olympiads-proof-graderbench

Viewer • Updated Dec 17, 2025 • 480 • 3 • 1

lm-provers/matharena-gradingbench

Viewer • Updated Dec 4, 2025 • 438 • 1 • 1

lm-provers/IMOProofBench

Viewer • Updated Nov 5, 2025 • 60 • 524 • 1