HyperTree Proof Search for Neural Theorem Proving

Lample, Guillaume, Lachaux, Marie-Anne, Lavril, Thibaut · arXiv · 2022