CV

Last updated: 22 December 2022

Download here.

Education

• BA in Engineering, University of Cambridge, 2019, Class I
  • Specialisations:
    • Information and Computer Engineering
    • Electrical and Information Sciences
    • Instrumentation and Control
• MSc in Computer Science, University of Oxford, 2021, Distinction
  • Thesis supervised by Lisa Schut, Clare Lyle, and Professor Yarin Gal.
• Ph.D in Computer Science, University of Cambridge, 2024 (expected)

Work experience

• June 2019 - June 2020: Research Assistant
  • University of Toronto
  • Supervisor: Professor Jimmy Ba and Professor Roger Grosse
• July - October 2022: Research Scientist Intern
  • FAIR France
  • Supervisor: Guillaume Lample

Publications

Neural Theorem Proving on Inequality Problems

INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving

LISA: Language models of ISAbelle proofs

Can Network Flatness Explain the Training Speed-Generalisation Connection?

Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers

Autoformalization with Large Language Models

Magnushammer: A Transformer-based Approach to Premise Selection

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs

Evaluating Language Models for Mathematics through Interactions