Full Name
Albert Qiaochu Jiang
Job title
Head of Formal Reasoning
Company
Mistral AI
Speaker Bio
Dr. Albert Jiang is the Head of Formal Reasoning at** Mistral AI**, where he leads a team dedicated to advancing the science and infrastructure of AI reasoning. A founding member at Mistral AI, he has driven innovations in sparse pretraining, mid/post-training, large-scale reinforcement learning, and formal code agents. His research aims at planet-scale autoformalization, human-AI collaboration, and superintelligence safe and aligned by design.
Speaking At