🧑🔬 Guillaume Lample — papers of 2022 — Elamur Research2 papers · all years of Guillaume LampleDraft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal ProofsarXiv:2210.12283Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al.2022 · 178 citationsHyperTree 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/guillaume-lample/year/2022/