HyperTree Proof Search for Neural Theorem Proving
Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, Xavier Martinet, Amaury Hayat, Gabriel Ebner, Aurélien Rodriguez, Timothée Lacroix
People
Research Engineer
I joined Meta AI Research in 2015 as a Software Engineer after completing my master in vision and machine learning with the MVA in Cachan. I received a B.S in computer science from the École Normale Supérieure.
Graph embeddings, graph theory and algorithms
Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, Xavier Martinet, Amaury Hayat, Gabriel Ebner, Aurélien Rodriguez, Timothée Lacroix
Matthew Le, Mark Ibrahim, Levent Sagun, Timothée Lacroix, Maximilian Nickel
Timothée Lacroix, Nicolas Usunier, Guillaume Obozinski