Albert Qiaochu Jiang

I am a third-year PhD student. I work on AI for mathematics.

I am at mistral.ai part-time.

I train language models (0.1B-200B parameters).

I have an MSc in computer science (distinction) from Oxford and a BA in engineering (first class, first percentile) from Cambridge.

Machine learning for theorem proving