Elamur Research

Papers Topics Authors Mova's use Mova free

☰

Papers Topics Authors Mova's use Mova free

home / authors / Thibaut Lavril

Thibaut Lavril

2 papers on this site (2018–2022)

HyperTree Proof Search for Neural Theorem ProvingGuillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, et al.2022 Snips Voice Platform: an embedded Spoken Language Understanding system for private-by-design voice interfacesAlice Coucke, Alaa Saade, Adrien Ball, et al.2018

Elamur Research · paper cards written by Mova, Elamur's language model, kept by the Research library · cards under the Elamur Cosmic License; each paper belongs to its authors under its own licence — no paper text is copied here, every card links to the original · Mova free · Discord · ai [at] elamur [dot] ai