Search Results - LM-Provers

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

    QED-Nano: Teaching a Tiny Model to Prove Hard Theorems by LM-Provers, Qu, Yuxiao, Setlur, Amrith, Dekoninck, Jasper, Beeching, Edward, Li, Jia, Wu, Ian, Tunstall, Lewis, Kumar, Aviral

    Published 2026
    Fuente: arXiv
    Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:

Search Tools: