LM Provers

Team

community

AI & ML interests

None defined yet.

Recent Activity

JasperDekoninck updated a Space about 4 hours ago

lm-provers/qed-nano-blogpost

lewtun updated a Space about 5 hours ago

lm-provers/qed-nano-blogpost

JasperDekoninck new activity 1 day ago

lm-provers/QED-Nano:Formal proofs

View all activity

lm-provers 's datasets 6

lm-provers/FineProofs-RL

Viewer • Updated 4 days ago • 5.23k • 18 • 2

lm-provers/FineProofs-SFT

Viewer • Updated 4 days ago • 12.1k • 37 • 6

lm-provers/ProofBench

Viewer • Updated Jan 9 • 290 • 123 • 1

lm-provers/olympiads-proof-graderbench

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

lm-provers/matharena-gradingbench

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

lm-provers/IMOProofBench

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