Marie-Anne Lachaux

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 16

Top Topics

Denotational Semantics

Theorem Proving

Lambda Calculus

Top Venues

Publications

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
Mixtral of Experts. CoRR (2024)
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
LLaMA: Open and Efficient Foundation Language Models. CoRR (2023)
Hugo Touvron, Louis Martin, Kevin Stone, Peter Albert, Amjad Almahairi, Yasmine Babaei, Nikolay Bashlykov, Soumya Batra, Prajjwal Bhargava, Shruti Bhosale, Dan Bikel, Lukas Blecher, Cristian Canton-Ferrer, Moya Chen, Guillem Cucurull, David Esiobu, Jude Fernandes, Jeremy Fu, Wenyin Fu, Brian Fuller, Cynthia Gao, Vedanuj Goswami, Naman Goyal, Anthony Hartshorn, Saghar Hosseini, Rui Hou, Hakan Inan, Marcin Kardas, Viktor Kerkez, Madian Khabsa, Isabel Kloumann, Artem Korenev, Punit Singh Koura, Marie-Anne Lachaux, Thibaut Lavril, Jenya Lee, Diana Liskovich, Yinghai Lu, Yuning Mao, Xavier Martinet, Todor Mihaylov, Pushkar Mishra, Igor Molybog, Yixin Nie, Andrew Poulton, Jeremy Reizenstein, Rashi Rungta, Kalyan Saladi, Alan Schelten, Ruan Silva, Eric Michael Smith, Ranjan Subramanian, Xiaoqing Ellen Tan, Binh Tang, Ross Taylor, Adina Williams, Jian Xiang Kuan, Puxin Xu, Zheng Yan, Iliyan Zarov, Yuchen Zhang, Angela Fan, Melanie Kambadur, Sharan Narang, Aurélien Rodriguez, Robert Stojnic, Sergey Edunov, Thomas Scialom
Llama 2: Open Foundation and Fine-Tuned Chat Models. CoRR (2023)
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
Mistral 7B. CoRR (2023)
Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, Xavier Martinet, Amaury Hayat, Gabriel Ebner, Aurélien Rodriguez, Timothée Lacroix
HyperTree Proof Search for Neural Theorem Proving. CoRR (2022)
Guillaume Lample, Timothée Lacroix, Marie-Anne Lachaux, Aurélien Rodriguez, Amaury Hayat, Thibaut Lavril, Gabriel Ebner, Xavier Martinet
HyperTree Proof Search for Neural Theorem Proving. NeurIPS (2022)
Baptiste Rozière, Marie-Anne Lachaux, Marc Szafraniec, Guillaume Lample
DOBF: A Deobfuscation Pre-Training Objective for Programming Languages. CoRR (2021)
Marie-Anne Lachaux, Baptiste Rozière, Marc Szafraniec, Guillaume Lample
DOBF: A Deobfuscation Pre-Training Objective for Programming Languages. NeurIPS (2021)
Baptiste Rozière, Marie-Anne Lachaux, Lowik Chanussot, Guillaume Lample
Unsupervised Translation of Programming Languages. NeurIPS (2020)
Guillaume Wenzek, Marie-Anne Lachaux, Alexis Conneau, Vishrav Chaudhary, Francisco Guzmán, Armand Joulin, Edouard Grave
CCNet: Extracting High Quality Monolingual Datasets from Web Crawl Data. LREC (2020)
Samuel Humeau, Kurt Shuster, Marie-Anne Lachaux, Jason Weston
Poly-encoders: Architectures and Pre-training Strategies for Fast and Accurate Multi-sentence Scoring. ICLR (2020)
Marie-Anne Lachaux, Armand Joulin, Guillaume Lample
Target Conditioning for One-to-Many Generation. EMNLP (Findings) (2020)
Marie-Anne Lachaux, Armand Joulin, Guillaume Lample
Target Conditioning for One-to-Many Generation. CoRR (2020)
Marie-Anne Lachaux, Baptiste Rozière, Lowik Chanussot, Guillaume Lample
Unsupervised Translation of Programming Languages. CoRR (2020)
Samuel Humeau, Kurt Shuster, Marie-Anne Lachaux, Jason Weston
Real-time Inference in Multi-sentence Tasks with Deep Pretrained Transformers. CoRR (2019)
Guillaume Wenzek, Marie-Anne Lachaux, Alexis Conneau, Vishrav Chaudhary, Francisco Guzmán, Armand Joulin, Edouard Grave
CCNet: Extracting High Quality Monolingual Datasets from Web Crawl Data. CoRR (2019)