- Visiting Research Fellow
Biography
I lead the reasoning team at Mistral AI. I also help supervise in the department.
Research
Machine learning for theorem proving
Department of Computer Science and Technology
I lead the reasoning team at Mistral AI. I also help supervise in the department.
Machine learning for theorem proving
qj213@cam.ac.uk
Department of Computer Science and Technology
University of Cambridge
William Gates Building
15 JJ Thomson Avenue
Cambridge
CB3 0FD
© 2025 University of Cambridge