- PhD student
Research
Machine learning for theorem proving
Department of Computer Science and Technology
Machine learning for theorem proving
Department of Computer Science and Technology
University of Cambridge
William Gates Building
15 JJ Thomson Avenue
Cambridge
CB3 0FD
Information provided by pagemaster@cst.cam.ac.uk
© 2022 University of Cambridge