Scholar
Albert Q. Jiang
Google Scholar ID: Fe_RBHMAAAAJ
Mistral AI
Language Models
Theorem Proving
Autoformalization
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
11,281
H-index
15
i10-index
16
Publications
20
Co-authors
11
list available
Contact
Email
aj@mistral.ai
CV
Open ↗
Twitter
Open ↗
GitHub
Open ↗
Publications
5 items
Soft Guidance Starts to Outperform CoT Prompting as LLMs Improve
2026
Cited
0
Reasoning Arena: Trace Tournaments When Verifiable Rewards Fall Short
2026
Cited
0
Ministral 3
2026
Cited
4
Voxtral
2025
Cited
0
Magistral
2025
Cited
0
Co-authors
9 total
Mateja Jamnik
Professor of Artificial Intelligence, University of Cambridge
Wenda Li
University of Edinburgh
Sean J Welleck
Assistant Professor, Carnegie Mellon University
Guillaume Lample
Mistral AI
Christian Szegedy
Researcher
Piotr Miłoś
Google, University of Warsaw, Polish Academy of Sciences
Timothée Lacroix
Facebook AI Research
Katherine M. Collins
Machine Learning PhD Student at the University of Cambridge
