LM Provers

community

AI & ML interests

None defined yet.

Recent Activity

JasperDekoninck new activity 2 days ago

lm-provers/QED-Nano:Add MathArena evaluation result for hmmt/hmmt_feb_2026

JasperDekoninck new activity 2 days ago

lm-provers/QED-Nano:Add MathArena evaluation result for aime/aime_2026

lewtun submitted a paper about 1 month ago

Single-minus gluon tree amplitudes are nonzero

View all activity

lm-provers 's datasets 6

lm-provers/FineProofs-RL

Viewer • Updated Feb 14 • 5.23k • 187 • 4

lm-provers/FineProofs-SFT

Viewer • Updated Feb 14 • 12.1k • 539 • 38

lm-provers/ProofBench

Viewer • Updated Jan 9 • 290 • 261 • 3

lm-provers/olympiads-proof-graderbench

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

lm-provers/matharena-gradingbench

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

lm-provers/IMOProofBench

Viewer • Updated Nov 5, 2025 • 60 • 492 • 2