University of Cambridge
University of Oxford
Lucile SaulnierResearch Scientist Lead · Mistral AIResearcher↗
Researcher
Albert Q. Jiang
Mistral AIResearch Scientist
Jiang builds language models that reason about mathematics and produce machine-checkable proofs. At Mistral AI, his work has ranged from training data for Mistral and Mixtral to Mathstral, reinforcement-learned reasoning models, and formal agents built around the Lean proof system.
Career & education
Current roleMistral AIJun 2023-presentResearch Scientist
Mistral AIJun 2023-presentPreviously
MetaJul 2022-Oct 2022Research Scientist Intern, FAIR
MetaJul 2022-Oct 2022Work and education history is primarily focused on AI-relevant roles and may not be comprehensive.
Citation Trend
Total citations to scholarly work, including research papers, technical reports, books and theses, as recorded by Google Scholar. Each point is a dated snapshot.
citations24,788As of Nov 6, '26
citations+8,627Since last snapshot, Jun 15, '26
Selected contributions
Mistral 7B
With Alexandre Sablayrolles, Arthur Mensch, Chris Bamford, Devendra Singh Chaplot, Diego de las Casas, Florian Bressand, Gianna Lengyel and others ·Mistral 7B demonstrated strong language-model performance relative to larger models.
Based on public sources. If accuracy is important, verify details using the links or references.
For corrections, updates, or requests to remove information, contact us.
Reviewed August 9, 2026 · Checked for accuracy and new information.
