LM Provers

Team

community

AI & ML interests

None defined yet.

Recent Activity

JasperDekoninck updated a Space 3 days ago

lm-provers/qed-nano-blogpost

lewtun updated a Space 3 days ago

lm-provers/qed-nano-blogpost

JasperDekoninck new activity 4 days ago

lm-provers/QED-Nano:Formal proofs

View all activity

JasperDekoninck

updated a Space 3 days ago

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

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

lewtun

updated a Space 3 days ago

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

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

JasperDekoninck

in lm-provers/QED-Nano 4 days ago

Formal proofs

#2 opened 4 days ago by

lewtun

in lm-provers/QED-Nano 5 days ago

Training costs question

#1 opened 8 days ago by

lewtun

updated a model 5 days ago

lm-provers/QED-Nano

Text Generation • 4B • Updated 5 days ago • 404 • 74

lewtun

published 4 datasets 6 days ago

lm-provers/olympiads-proof-graderbench

Viewer • Updated Dec 17, 2025 • 480 • 9 • 2

lm-provers/matharena-gradingbench

Viewer • Updated Dec 4, 2025 • 438 • 5 • 2

lm-provers/ProofBench

Viewer • Updated Jan 9 • 290 • 111 • 2

lm-provers/FineProofs-SFT

Viewer • Updated 7 days ago • 12.1k • 58 • 11

lewtun

published a Space 6 days ago

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

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

CohenQu

updated a Space 6 days ago

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

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

aviralku

updated a Space 6 days ago

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

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

HerrHruby

updated a Space 6 days ago

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

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

lewtun

updated a dataset 6 days ago

lm-provers/FineProofs-RL

Viewer • Updated 6 days ago • 5.23k • 24 • 3

ars22

updated a Space 6 days ago

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

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

lewtun

updated a dataset 7 days ago

lm-provers/FineProofs-SFT

Viewer • Updated 7 days ago • 12.1k • 58 • 11

lewtun

updated a model 7 days ago

lm-provers/QED-Nano-SFT

Text Generation • 4B • Updated 6 days ago • 112 • 4

lewtun

updated a collection 7 days ago

QED Nano

Artifacts for the QED Nano release • 10 items • Updated 6 days ago • 6

lewtun

submitted a paper to Daily Papers 7 days ago

Single-minus gluon tree amplitudes are nonzero

Paper • 2602.12176 • Published 9 days ago • 7

edbeeching

updated a model 8 days ago

lm-provers/QED-Nano-SFT

Text Generation • 4B • Updated 6 days ago • 112 • 4