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
3 items
Ministral 3
2026
Cited
4
Voxtral
2025
Cited
0
Magistral
2025
Cited
0
Resume (English only)
Co-authors
11 total
Mateja Jamnik
Professor of Artificial Intelligence, University of Cambridge
Co-author 2
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
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up