Paper Notes: QED-Nano

last updated 2026-05-27

rl
small-models

Source

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

LM-Provers Team·arXiv · 2026

↓ Download PDF

TL;DR

One of the most exciting papers I’ve read in a long time. Not necessarily because of the techniques, but because it shows that small models can attain a high intelligence density when trained right.

joe barrow · research scientist · rss