🧑🔬 Amaury Hayat — papers of 2022 — 1 paper, the most cited first1 paper · all years of Amaury HayatHyperTree Proof Search for Neural Theorem ProvingConference on Neural Information Processing Systems (NeurIPS)Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, et al.2022 · 151 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/amaury-hayat/year/2022/