Vrije Universiteit Amsterdam; CERMICS École des Ponts ParisTech; Meta AI Research
Guillaume Lample, Timothee Lacroix, Marie-Anne Lachaux, Aurelien Rodriguez, Amaury Hayat, Thibaut Lavril, Gabriel Ebner, Xavier Martinet
theorem proving;automated theorem proving;MCTS;reasoning;AI for math
HyperTree Proof Search for Neural Theorem Proving