Rodriguez, Aurelien

1 publications

NeurIPS 2022 HyperTree Proof Search for Neural Theorem Proving Guillaume Lample, Timothee Lacroix, Marie-Anne Lachaux, Aurelien Rodriguez, Amaury Hayat, Thibaut Lavril, Gabriel Ebner, Xavier Martinet