Search Results for author: Thibaut Lavril

Found 14 papers, 12 papers with code

HyperTree Proof Search for Neural Theorem Proving

no code implementations23 May 2022 Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, Xavier Martinet, Amaury Hayat, Gabriel Ebner, Aurélien Rodriguez, Timothée Lacroix

With a similar computational budget, we improve the state of the art on the Lean-based miniF2F-curriculum dataset from 31% to 42% proving accuracy.

Automated Theorem Proving

Efficient keyword spotting using dilated convolutions and gating

4 code implementations19 Nov 2018 Alice Coucke, Mohammed Chlieh, Thibault Gisselbrecht, David Leroy, Mathieu Poumeyrol, Thibaut Lavril

We explore the application of end-to-end stateless temporal modeling to small-footprint keyword spotting as opposed to recurrent networks that model long-term temporal dependencies using internal states.

Small-Footprint Keyword Spotting

Federated Learning for Keyword Spotting

1 code implementation9 Oct 2018 David Leroy, Alice Coucke, Thibaut Lavril, Thibault Gisselbrecht, Joseph Dureau

We propose a practical approach based on federated learning to solve out-of-domain issues with continuously running embedded speech-based models such as wake word detectors.

Federated Learning Keyword Spotting

Cannot find the paper you are looking for? You can Submit a new open access paper.