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
Timothée Lacroix
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.
Interests
Graph embeddings, graph theory and algorithms
Latest Publications
NeurIPS - 2022
Neural Relational Autoregression for High-Resolution COVID-19 Forecasting
Matthew Le, Mark Ibrahim, Levent Sagun, Timothée Lacroix, Maximilian Nickel
Canonical Tensor Decomposition for Knowledge Base Completion
Timothée Lacroix, Nicolas Usunier, Guillaume Obozinski
