TY  - RPRT
TI  - QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
AU  - LM-Provers
AU  - Yuxiao Qu
AU  - Amrith Setlur
AU  - Jasper Dekoninck
AU  - Edward Beeching
AU  - Jia Li
AU  - Ian Wu
AU  - Lewis Tunstall
AU  - Aviral Kumar
PY  - 2026
UR  - https://arxiv.org/abs/2604.04898
ID  - 2604.04898
ER  -