@misc{indiciae9cbf6b8a7977,
  title = {QED-Nano: Teaching a Tiny Model to Prove Hard Theorems},
  author = {LM-Provers and Yuxiao Qu and Amrith Setlur and Jasper Dekoninck and Edward Beeching and Jia Li and Ian Wu and Lewis Tunstall and Aviral Kumar},
  year = {2026},
  url = {https://arxiv.org/abs/2604.04898},
  note = {Source identifier: 2604.04898}
}