Guillaume Lample is qualified to endorse.
HyperTree Proof Search for Neural Theorem Proving
| Guillaume Lample: | Is registered as an author of this paper. Can endorse for cs.AI, cs.CL. (why?) |
Marie-Anne Lachaux, Thibaut Lavril, Xavier Martinet, Amaury Hayat, Gabriel Ebner, Aurélien Rodriguez and Timothée Lacroix are not registered as owners of this paper. (why?)