--- title: "Aurélien Rodriguez — author profile and papers" description: "Aurélien Rodriguez: 2 papers on Elamur Research (2022–2023), h-index 1 — affiliations, topics, co-authors and who cites them in our library." canonical: "https://research.elamur.ai/free/en/authors/aurelien-rodriguez/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/aurelien-rodriguez/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Aurélien Rodriguez # Aurélien Rodriguez Aurélien Rodriguez's papers here, from 2022–2023, sit where large neural language models meet automated reasoning. The work asks how transformer models should be trained and put to use. One strand builds general-purpose language models from openly available text while weighing the cost of running them. The other uses learned models to steer search through formal mathematical proofs. These strands correspond to the topics [Language models & pretraining](https://md.research.elamur.ai/free/en/topics/language-models/) and [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/). The most cited paper is [LLaMA: Open and Efficient Foundation Language Models](https://md.research.elamur.ai/free/en/papers/touvron-2023-llama-open-efficient-foundation-language/). It introduced a family of foundation models from 7B to 65B parameters. The models were trained on many more tokens than compute-optimal scaling rules would suggest, so that smaller models stay cheaper at inference time. The training text came only from public sources, including filtered web crawls, code, encyclopedic articles, books and scientific preprints. The second paper, [HyperTree Proof Search for Neural Theorem Proving](https://md.research.elamur.ai/free/en/papers/lample-2022-hypertree-proof-search-neural-theorem/), describes Evariste, a prover that adapts AlphaZero-style search to formal mathematics. It explores proof hypertrees rather than single lines of reasoning. A transformer proposes tactics, and a critic estimates which goals can be proved. Both models keep improving online as the search runs, and the experiments include Metamath and Lean. Taken in order, the papers move from neural theorem proving in 2022 to open language-model pretraining in 2023. Both came from teams at Meta AI. [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 [Xavier Martinet](https://md.research.elamur.ai/free/en/authors/xavier-martinet/) are co-authors on both. Other collaborators include [Guillaume Lample](https://md.research.elamur.ai/free/en/authors/guillaume-lample/) and [Hugo Touvron](https://md.research.elamur.ai/free/en/authors/hugo-touvron/). Aurélien Rodriguez 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 [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/). 2 papers in our library · 2022–2023 [OpenAlex](https://openalex.org/A5146862689) · [**h-index 1**](https://openalex.org/authors/A5146862689) · [1 works](https://openalex.org/works?filter=author.id:A5146862689) · [35 citations](https://openalex.org/works?filter=author.id:A5146862689&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/aurelien-rodriguez/#papers) · [🔗 5,723 citations in our library](https://md.research.elamur.ai/free/en/authors/aurelien-rodriguez/cited-by/) · [⭐ Paper Star rank #440](https://md.research.elamur.ai/free/en/paper-stars/page/5/#star-440) 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=Aur%C3%A9lien+Rodriguez) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Aur%C3%A9lien+Rodriguez) · [dblp](https://dblp.org/search?q=Aur%C3%A9lien+Rodriguez) · [ACL Anthology](https://aclanthology.org/search/?q=Aur%C3%A9lien+Rodriguez) ## 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. ## Co-authors here 11 co-authors with a page, the most papers together first. - [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 - [Xavier Martinet](https://md.research.elamur.ai/free/en/authors/xavier-martinet/) ×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,723 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/aurelien-rodriguez/cited-by/).