Timothée Lacroix

16 papers A* 4Journal 10Unranked 1

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Mixtral of Experts. CoRR 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
2024	J	`jnl`	Pixtral 12B. CoRR Pravesh Agrawal, Szymon Antoniak, Emma Bou Hanna, Baptiste Bout, Devendra Singh Chaplot, Jessica Chudnovsky, Diogo Costa, Baudouin De Monicault, Saurabh Garg, Théophile Gervet, Soham Ghosh, Amélie Héliou, Paul Jacob, Albert Q. Jiang, Kartik Khandelwal, Timothée Lacroix, Guillaume Lample, Diego de Las Casas, Thibaut Lavril, Teven Le Scao, Andy Lo, William Marshall, Louis Martin, Arthur Mensch, Pavankumar Muddireddy, Valera Nemychnikova, Marie Pellat, Patrick von Platen, Nikhil Raghuraman, Baptiste Rozière, Alexandre Sablayrolles, Lucile Saulnier, Romain Sauvestre, Wendy Shang, Roman Soletskyi, Lawrence Stewart, Pierre Stock, Joachim Studnia, Sandeep Subramanian, Sagar Vaze, Thomas Wang, Sophia Yang
2023	A*	`conf`	Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs. ICLR Albert Qiaochu Jiang, Sean Welleck, Jin Peng Zhou, Timothée Lacroix, Jiacheng Liu, Wenda Li, Mateja Jamnik, Guillaume Lample, Yuhuai Wu
2023	J	`jnl`	LLaMA: Open and Efficient Foundation Language Models. CoRR 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
2023	J	`jnl`	Mistral 7B. CoRR 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
2022	J	`jnl`	Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs. CoRR Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, Wenda Li, Jiacheng Liu, Mateja Jamnik, Timothée Lacroix, Yuhuai Wu, Guillaume Lample
2022	A*	`conf`	HyperTree Proof Search for Neural Theorem Proving. NeurIPS Guillaume Lample, Timothée Lacroix, Marie-Anne Lachaux, Aurélien Rodriguez, Amaury Hayat, Thibaut Lavril, Gabriel Ebner, Xavier Martinet
2022	J	`jnl`	HyperTree Proof Search for Neural Theorem Proving. CoRR Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, Xavier Martinet, Amaury Hayat, Gabriel Ebner, Aurélien Rodriguez, Timothée Lacroix
2020	—	`—`	Décompositions tensorielles pour la complétion de bases de connaissance. (Tensor decompositions for knowledge base completion). Timothée Lacroix
2020	A*	`conf`	Tensor Decompositions for Temporal Knowledge Base Completion. ICLR Timothée Lacroix, Guillaume Obozinski, Nicolas Usunier
2020	J	`jnl`	Tensor Decompositions for temporal knowledge base completion. CoRR Timothée Lacroix, Guillaume Obozinski, Nicolas Usunier
2019	J	`jnl`	PyTorch-BigGraph: A Large-scale Graph Embedding System. CoRR Adam Lerer, Ledell Wu, Jiajun Shen, Timothée Lacroix, Luca Wehrstedt, Abhijit Bose, Alexander Peysakhovich
2019	—	`conf`	Pytorch-BigGraph: A Large Scale Graph Embedding System. SysML Adam Lerer, Ledell Wu, Jiajun Shen, Timothée Lacroix, Luca Wehrstedt, Abhijit Bose, Alex Peysakhovich
2018	A*	`conf`	Canonical Tensor Decomposition for Knowledge Base Completion. ICML Timothée Lacroix, Nicolas Usunier, Guillaume Obozinski
2018	J	`jnl`	Canonical Tensor Decomposition for Knowledge Base Completion. CoRR Timothée Lacroix, Nicolas Usunier, Guillaume Obozinski
2016	J	`jnl`	TorchCraft: a Library for Machine Learning Research on Real-Time Strategy Games. CoRR Gabriel Synnaeve, Nantas Nardelli, Alex Auvolat, Soumith Chintala, Timothée Lacroix, Zeming Lin, Florian Richoux, Nicolas Usunier