File a reproduction report

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, Wenda Li, Jiacheng Liu, Mateja Jamnik, Timothée Lacroix, Yuhuai Wu, Guillaume Lample — aiXiv:2608.00005

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.