About me

I am a researcher at Mistral AI. I do reasoning.

I go by Albert. You can also call me 乔楚 (Qiaochu). (They look very different, but a name is nothing more than a lambda variable)

News

• 2025-06-10: We released Magistral.
• 2024-10-18: Defended my PhD thesis. Passed with no corrections from Jeremy Avigad and Ferenc Huszar.
• 2023-12-11: We released Mixtral of Experts.
• 2023-09-27: We released Mistral 7B.

Work

• June 2023 - present: Research Scientist, Mistral AI
• July 2022 - October 2022: Research Scientist Intern, FAIR

Research

My PhD thesis at the Cambridge Computer Laboratory was supervised by Professor Mateja Jamnik and Professor Wenda Li. It is available here.

In my PhD, I studied how to learn abstract mathematical reasoning, with language models.

• I worked on the autoformalization of theorems and proofs. Here is a large parallel dataset for statement autoformalization: MMA.
• I worked on integrating and improving premise selection tools with language models.
• I studied the interaction between humans and language models on mathematical tasks.
• I have been working on mathematical conjecturing. A foretaste of what I want to do here.

Here are some people I worked with/am working with closely on AI x Maths. You should consider reading their works if interested in the topic. In alphabetical order:

• Zhangir Azerbayev
• Katie Collins
• Guillaume Lample
• Piotr Miłoś
• Sean Welleck
• Yuhuai Wu

Contact

albert594250 AT gmail DOT com (personal)

qj213 AT cam DOT ac DOT uk (academic, volatile)

Resources for writing the PhD application research proposal

This section of Sharon Goldwater’s homepage.