Albert Qiaochu Jiang
Source-listed: Research Scientist · Mistral AI
Record snapshot: Sep 3, 2026. Coverage and affiliations may be incomplete or historical.
Selected work
5- Mixtral of ExpertsSaved credit: Contributor · 2024Explore people connected to this work →
- Mistral 7BSaved credit: Contributor · 2023Explore people connected to this work →
- MagistralSaved credit: Contributor · 2025Explore people connected to this work →
- Magnushammer: A Transformer-Based Approach to Premise SelectionSaved credit: Contributor · 2024Explore people connected to this work →
- Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal ProofsSaved credit: Contributor · 2023Explore people connected to this work →