File a reproduction report

HyperTree Proof Search for Neural Theorem Proving
Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, Xavier Martinet, Amaury Hayat, Gabriel Ebner, Aurélien Rodriguez, Timothée Lacroix — aiXiv:2608.00004

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.