---
title: "Timothée Lacroix — papers"
description: "Timothée Lacroix: 2 papers in the Elamur Research library (2022) — our summary of each, its ideas, references and who cites it."
canonical: "https://research.elamur.ai/free/en/authors/timothee-lacroix/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/timothee-lacroix/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Timothée Lacroix

# Timothée Lacroix

2 papers on this site (2022)

[OpenAlex](https://openalex.org/A5084553837) · 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 Proofs](https://md.research.elamur.ai/free/en/papers/jiang-2022-draft-sketch-prove-guiding-formal/) — Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al. · 2022
- [HyperTree Proof Search for Neural Theorem Proving](https://md.research.elamur.ai/free/en/papers/lample-2022-hypertree-proof-search-neural-theorem/) — Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, et al. · 2022