skip to content

Department of Computer Science and Technology

  • 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 train large language models (0.1B-20B parameters) with the help of Google TRC and EleutherAI.

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

Publications

Contact Details

Room: 
FC12
Office phone: 
(01223) 7-63749
Email: 

qj213@cam.ac.uk