Albert Q. Jiang
Also known as Albert Qiaochu Jiang, Qiaochu, 乔楚
Albert Q. Jiang is a research scientist at Mistral AI and leads its reasoning team. He studied engineering at Cambridge and computer science at Oxford, worked at the University of Toronto and FAIR France, and completed a Cambridge PhD on mathematical reasoning with language models. His work has included Mistral 7B, Mixtral, Mathstral, Magistral, LeanHammer, and Leanstral. In 2026, he coauthored a study of soft guidance for mathematical reasoning.
- Now at
- Mistral AI
- Works
- 32
- Citations
- 745
- h-index
- 9
- Badges
Publication numbers from OpenAlex, as of 18 October 2026.
Timeline
-
2019–2021
A Cambridge BA and Oxford MSc
He earns a Class I BA in engineering at the University of Cambridge in 2019 and an MSc in computer science at the University of Oxford with distinction in 2021.
-
June 2019–October 2022
Research at Toronto and FAIR
He works as a research assistant at the University of Toronto from June 2019 to June 2020, then joins FAIR France as a research scientist intern from July 2022 to October 2022.
-
2023
Mistral 7B
In 2023, he coauthors Mistral 7B, a 7-billion-parameter language model with grouped-query attention for faster inference and sliding-window attention for long sequences.
-
2024
Mixtral and Mathstral
In 2024, he coauthors Mixtral of Experts, a sparse mixture-of-experts model with 47 billion parameters and 13 billion active at inference, and contributes mid- and post-training data to Mathstral.
-
October 2024–December 2024
A PhD in formal mathematics
He studies how to learn abstract mathematical reasoning with language models during his Cambridge PhD; he passes his thesis examination without corrections in October 2024. By December 2024, he works full-time at Mistral AI on reasoning.
-
2025–2026
Magistral and LeanHammer
In 2025, he works on large-scale reinforcement learning for Magistral, Mistral's first reasoning model. His paper presents LeanPremise and LeanHammer, combining neural premise selection with proof reconstruction for Lean; it receives a revision in February 2026. In August 2026, he coauthors a study that compares soft guidance with chain-of-thought prompting on math problems, and works on Leanstral 1.0 and 1.5 as formal agentic models.
-
As of October 2026
Leading Mistral's reasoning team
He leads Mistral AI's reasoning team and has worked as a research scientist there since June 2023; the team works on the science and infrastructure of reasoning.
Career
- Since 2023Mistral AIResearch Scientist and reasoning team lead
- 2022MetaResearch scientist intern
- 2022–2023University of Cambridge
- 2019–2020University of TorontoResearch assistant
Education
- 2021University of OxfordMSc in computer science
- 2019University of CambridgeBA in engineering
Most-cited works
- Mistral 7BWith Diego de las Casas and Teven Le Scao
- Mixtral of ExpertsWith Diego de las Casas and Teven Le Scao
- Autoformalization with Large Language ModelsWith Christian Szegedy
- Evaluating language models for mathematics through interactionsWith Adrian Weller, Joshua B. Tenenbaum and Timothy Gowers
- Llemma: An Open Language Model For MathematicsWith Jia Deng
Sources and credits
Photo: We have no published photo of Albert Q. Jiang yet. Send us a free-licensed photo.
- CV - Albert Qiaochu Jiang
- [2310.06825] Mistral 7B
- Albert Qiaochu Jiang
- [2401.04088] Mixtral of Experts
- Thoughts - Albert Qiaochu Jiang
- [2506.10910] Magistral
- [2506.07477] Premise Selection for a Lean Hammer
- [2608.03550] Soft Guidance Starts to Outperform CoT Prompting as LLMs Improve
- Albert Qiaochu Jiang | Department of Computer Science and Technology




