--- title: "Xavier Martinet — author profile and papers" description: "Xavier Martinet: 2 papers on Elamur Research (2022–2023), h-index 4 — affiliations, topics, co-authors and who cites them in our library." canonical: "https://research.elamur.ai/free/en/authors/xavier-martinet/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/xavier-martinet/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Xavier Martinet # Xavier Martinet Xavier Martinet's papers here sit where large language models meet automated reasoning. The work deals with transformer models and how to train and use them. One line asks how to build capable language models that stay cheap to run, using only openly available text. The other applies neural networks to finding formal mathematical proofs in systems such as Metamath and Lean. The most cited is [LLaMA: Open and Efficient Foundation Language Models](https://md.research.elamur.ai/free/en/papers/touvron-2023-llama-open-efficient-foundation-language/) (2023). It presented a family of foundation models of several sizes, trained on far more tokens than earlier scaling-law guidance advised, so that smaller models could perform well at deployment. Its training corpus came entirely from public sources, including cleaned web crawls, code, Wikipedia, books and scientific preprints. The earlier [HyperTree Proof Search for Neural Theorem Proving](https://md.research.elamur.ai/free/en/papers/lample-2022-hypertree-proof-search-neural-theorem/) (2022) described the Evariste prover. Evariste uses an AlphaZero-inspired search that expands whole proof hypertrees rather than single paths. A transformer proposes tactics, and a critic estimates which goals can be proved. Both networks keep learning online as the search runs. From 2022 to 2023 the papers move from search-based theorem proving toward general-purpose pretraining, under the topics [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/) and [Language models & pretraining](https://md.research.elamur.ai/free/en/topics/language-models/). Both projects came from research teams at Meta AI. Collaborators who appear across this work include [Marie-Anne Lachaux](https://md.research.elamur.ai/free/en/authors/marie-anne-lachaux/), [Thibaut Lavril](https://md.research.elamur.ai/free/en/authors/thibaut-lavril/), [Timothée Lacroix](https://md.research.elamur.ai/free/en/authors/timothee-lacroix/) and Aurelien Rodriguez, with [Guillaume Lample](https://md.research.elamur.ai/free/en/authors/guillaume-lample/) on the theorem-proving paper and [Hugo Touvron](https://md.research.elamur.ai/free/en/authors/hugo-touvron/) on the language-model work. Xavier Martinet has 2 papers in our library, in 2022–2023, most of them on [Language models & pretraining](https://md.research.elamur.ai/free/en/topics/language-models/), [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/); often with [Aurelien Rodriguez](https://md.research.elamur.ai/free/en/authors/aurelien-rodriguez/), [Marie-Anne Lachaux](https://md.research.elamur.ai/free/en/authors/marie-anne-lachaux/), [Thibaut Lavril](https://md.research.elamur.ai/free/en/authors/thibaut-lavril/). 2 papers in our library · 2022–2023 [OpenAlex](https://openalex.org/A5033356379) · [**h-index 4**](https://openalex.org/authors/A5033356379) · [5 works](https://openalex.org/works?filter=author.id:A5033356379) · [6,473 citations](https://openalex.org/works?filter=author.id:A5033356379&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/xavier-martinet/#papers) · [🔗 5,737 citations in our library](https://md.research.elamur.ai/free/en/authors/xavier-martinet/cited-by/) · [1 more in our library without a page yet](#also) · [⭐ Paper Star rank #441](https://md.research.elamur.ai/free/en/paper-stars/page/5/#star-441) The profile is the library's match of the name; two people with one name are not always told apart. Elsewhere: [Google Scholar](https://scholar.google.com/citations?view_op=search_authors&mauthors=Xavier+Martinet) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Xavier+Martinet) · [dblp](https://dblp.org/search?q=Xavier+Martinet) · [ACL Anthology](https://aclanthology.org/search/?q=Xavier+Martinet) ## Topics [Language models & pretraining (1)](https://md.research.elamur.ai/free/en/topics/language-models/) · [Reasoning (1)](https://md.research.elamur.ai/free/en/topics/reasoning/) ## Works by year ### 2020s [**2023** 1 paper](https://md.research.elamur.ai/free/en/papers/touvron-2023-llama-open-efficient-foundation-language/) · [**2022** 1 paper](https://md.research.elamur.ai/free/en/papers/lample-2022-hypertree-proof-search-neural-theorem/) ## Papers The most cited first (OpenAlex and our library). 1. **[LLaMA: Open and Efficient Foundation Language Models](https://md.research.elamur.ai/free/en/papers/touvron-2023-llama-open-efficient-foundation-language/)** *(2023 · 5,609 citations)* The authors from Meta AI challenge the widespread assumption that more parameters automatically yield better quality. 2. **[HyperTree Proof Search for Neural Theorem Proving](https://md.research.elamur.ai/free/en/papers/lample-2022-hypertree-proof-search-neural-theorem/)** *(2022 · 149 citations)* Automated provers for formal mathematics have to pick tactics from an unbounded space and then close every subgoal a tactic creates. ## Also in our library 1 more work of theirs is in our library without a page here yet; it will appear as we publish them. ## Co-authors here 11 co-authors with a page, the most papers together first. - [Aurelien Rodriguez](https://md.research.elamur.ai/free/en/authors/aurelien-rodriguez/) ×2 - [Marie-Anne Lachaux](https://md.research.elamur.ai/free/en/authors/marie-anne-lachaux/) ×2 - [Thibaut Lavril](https://md.research.elamur.ai/free/en/authors/thibaut-lavril/) ×2 - [Timothée Lacroix](https://md.research.elamur.ai/free/en/authors/timothee-lacroix/) ×2 - [Armand Joulin](https://md.research.elamur.ai/free/en/authors/armand-joulin/) - [Baptiste Rozière](https://md.research.elamur.ai/free/en/authors/baptiste-roziere/) - [Eric Hambro](https://md.research.elamur.ai/free/en/authors/eric-hambro/) - [Gautier Izacard](https://md.research.elamur.ai/free/en/authors/gautier-izacard/) - [Guillaume Lample](https://md.research.elamur.ai/free/en/authors/guillaume-lample/) - [Hugo Touvron](https://md.research.elamur.ai/free/en/authors/hugo-touvron/) - [Naman Goyal](https://md.research.elamur.ai/free/en/authors/naman-goyal/) ## Cited by Papers of our library cite their works 5,737 times (of the 140,884 papers whose bibliographies we read); [383 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/xavier-martinet/cited-by/).