File a reproduction report

Autoformalization with Large Language Models
Yuhuai Wu, Albert Q. Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy — aiXiv:2608.00003

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.