LM Provers

AI & ML interests

None defined yet.

Recent Activity

JasperDekoninck  new activity 1 day ago

lm-provers/QED-Nano:Formal proofs

lewtun  submitted a paper 15 days ago

Single-minus gluon tree amplitudes are nonzero

lewtun  submitted a paper 16 days ago

Reasoning Cache: Continual Improvement Over Long Horizons via Short-Horizon RL

View all activity

Team members 11