- PhD student
Biography
I am currently a second-year PhD student. I work on learning abstract mathematical reasoning. Concretely, I study conjecturing [1] and autoformalising [2, 3] in a mathematical context with machine learning tools.
I am at mistral.ai part-time.
I train language models (0.1B-60B parameters).
I have an MSc in computer science (distinction) from Oxford and a BA in engineering (first class, first percentile) from Cambridge.
Research
Machine learning for theorem proving