Risultati della ricerca - LM-Provers

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

Testo