🧑🔬 Timothée Lacroix2 papers on this site (2022)OpenAlex · h-index 10 · 20 works · 4953 citations (openalex-snapshot, 2026-10-14)Profile data from OpenAlex; authors with the same name are not always told apart.Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal ProofsAlbert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al.2022HyperTree Proof Search for Neural Theorem ProvingGuillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, et al.2022This page in Markdown → https://md.research.elamur.ai/free/en/authors/timothee-lacroix/