TY  - RPRT
TI  - HyperTree Proof Search for Neural Theorem Proving
AU  - Guillaume Lample
AU  - Marie-Anne Lachaux
AU  - Thibaut Lavril
AU  - Xavier Martinet
AU  - Amaury Hayat
AU  - Gabriel Ebner
AU  - Aurélien Rodriguez
AU  - Timothée Lacroix
PY  - 2022
UR  - https://arxiv.org/abs/2205.11491
ID  - 2205.11491
ER  -