University of Cambridge
University of Oxford
Lucile SaulnierResearcher
Mistral AI
AI Scientist
via Mistral AI
Researcher
Albert Q. Jiang
AQ
Research Scientist at Mistral AI
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.
See something inaccurate or outdated?
Background
Current role
Research Scientist Jun 2023-presentMistral AI
Mistral AIPreviously
Jul 2022-Oct 2022Research Scientist Intern, FAIR, 
Meta
MetaAbout this data
Work and education history is primarily focused on AI-relevant roles and may not be comprehensive.
Last editorial review: August 9, 2026Citation Trend
2 snapshots16,161citations as of Jun 15, '26+5,729 since Aug 25, '25
For today’s citation count and citations per paper, visit Google Scholar.