Timothée Lacroix

According to our database, Timothée Lacroix authored at least 10 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Mixtral of Experts.

Albert Q. Jiang, Alexandre Sablayrolles, Antoine Roux, Arthur Mensch, Blanche Savary, Chris Bamford, Devendra Singh Chaplot, Diego de Las Casas, Emma Bou Hanna, Florian Bressand, Gianna Lengyel, Guillaume Bour, Guillaume Lample, Lélio Renard Lavaud, Lucile Saulnier, Marie-Anne Lachaux, Pierre Stock, Sandeep Subramanian, Sophia Yang, Szymon Antoniak, Teven Le Scao, Théophile Gervet, Thibaut Lavril, Thomas Wang, Timothée Lacroix, William El Sayed

CoRR, 2024

2023

Mistral 7B.

Albert Q. Jiang, Alexandre Sablayrolles, Arthur Mensch, Chris Bamford, Devendra Singh Chaplot, Diego de Las Casas, Florian Bressand, Gianna Lengyel, Guillaume Lample, Lucile Saulnier, Lélio Renard Lavaud, Marie-Anne Lachaux, Pierre Stock, Teven Le Scao, Thibaut Lavril, Thomas Wang, Timothée Lacroix, William El Sayed

CoRR, 2023

LLaMA: Open and Efficient Foundation Language Models.

Hugo Touvron, Thibaut Lavril, Gautier Izacard, Xavier Martinet, Marie-Anne Lachaux, Timothée Lacroix, Baptiste Rozière, Naman Goyal, Eric Hambro, Faisal Azhar, Aurélien Rodriguez, Armand Joulin, Edouard Grave, Guillaume Lample

CoRR, 2023

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs.

Albert Qiaochu Jiang, Sean Welleck, Jin Peng Zhou, Timothée Lacroix, Jiacheng Liu, Wenda Li, Mateja Jamnik, Guillaume Lample, Yuhuai Wu

Proceedings of the Eleventh International Conference on Learning Representations, 2023

2022

HyperTree Proof Search for Neural Theorem Proving.

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

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2020

Décompositions tensorielles pour la complétion de bases de connaissance. (Tensor decompositions for knowledge base completion).

Timothée Lacroix

PhD thesis, 2020

Tensor Decompositions for Temporal Knowledge Base Completion.

Timothée Lacroix, Guillaume Obozinski, Nicolas Usunier

Proceedings of the 8th International Conference on Learning Representations, 2020

2019

Pytorch-BigGraph: A Large Scale Graph Embedding System.

Adam Lerer, Ledell Wu, Jiajun Shen, Timothée Lacroix, Luca Wehrstedt, Abhijit Bose, Alex Peysakhovich

Proceedings of Machine Learning and Systems 2019, 2019

2018

Canonical Tensor Decomposition for Knowledge Base Completion.

Timothée Lacroix, Nicolas Usunier, Guillaume Obozinski

Proceedings of the 35th International Conference on Machine Learning, 2018

2016

TorchCraft: a Library for Machine Learning Research on Real-Time Strategy Games.

Gabriel Synnaeve, Nantas Nardelli, Alex Auvolat, Soumith Chintala, Timothée Lacroix, Zeming Lin, Florian Richoux, Nicolas Usunier

CoRR, 2016