QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
LM-Provers
Yuxiao Qu
Amrith Setlur
Jasper Dekoninck
Edward Beeching
Jia Li
Ian Wu
Lewis Tunstall
Aviral Kumar
Papers citing "QED-Nano: Teaching a Tiny Model to Prove Hard Theorems"
0 / 0 papers shown
No papers found |