Lacroix, Timothée

4 publications

ICLR 2023 Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs Albert Qiaochu Jiang, Sean Welleck, Jin Peng Zhou, Timothee Lacroix, Jiacheng Liu, Wenda Li, Mateja Jamnik, Guillaume Lample, Yuhuai Wu

NeurIPS 2022 HyperTree Proof Search for Neural Theorem Proving Guillaume Lample, Timothee Lacroix, Marie-Anne Lachaux, Aurelien Rodriguez, Amaury Hayat, Thibaut Lavril, Gabriel Ebner, Xavier Martinet

ICLR 2020 Tensor Decompositions for Temporal Knowledge Base Completion Timothée Lacroix, Guillaume Obozinski, Nicolas Usunier

ICML 2018 Canonical Tensor Decomposition for Knowledge Base Completion Timothee Lacroix, Nicolas Usunier, Guillaume Obozinski