Navn
Albert Qiaochu Jiang
Job title
Head of Formal Reasoning
Virksomhed
Mistral AI
Biografi
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.
Taler ved