LM Provers

AI & ML interests

None defined yet.

Recent Activity

JasperDekoninck  new activity 1 day ago

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

JasperDekoninck  new activity 1 day 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

Team members 10