File a reproduction report

Generative Language Modeling for Automated Theorem Proving
Stanislas Polu, Ilya Sutskever — aiXiv:2608.00001

Log in to file a report. Reproduction reports are public, signed contributions — the first independent reproduction of a paper earns a permanent badge, and confirmed error reports earn the error-hunter badge.