🧑🔬 Thibaut Lavril2 papers on this site (2018–2022)OpenAlex · h-index 16 · 48 works · 8625 citations (openalex-snapshot, 2026-10-14)Profile data from OpenAlex; authors with the same name are not always told apart.HyperTree Proof Search for Neural Theorem ProvingGuillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, et al.2022Snips Voice Platform: an embedded Spoken Language Understanding system for private-by-design voice interfacesAlice Coucke, Alaa Saade, Adrien Ball, et al.2018This page in Markdown → https://md.research.elamur.ai/free/en/authors/thibaut-lavril/