CV

Education

• PhD in Computer Science, University of Toronto, 2023-2027 (expected)
  • Supervisor: Kuldeep Meel
  • Research Interest: AI, Machine Learning, Automated Reasoning
• HBSc, University of Toronto, 2021-2023
  • Area of Study: Computer Science (Major), Mathematics (Minor), and Statistics (Minor).
  • Cumulative GPA: 3.99/4.00
  • Dean’s List Scholar for 2021-2023 academic terms.

Awards

• Ontario Graduate Scholarship (OGS), 2024
  • OGS is a merit-based scholarships to Ontario’s best graduate students in all disciplines of academic study with a value of CA$15,000 for one year.

Publications

A Survey on Deep Learning for Theorem Proving

Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, and Xujie Si. A Survey on Deep Learning for Theorem Proving. In proceedings of the Conference on Language Modeling, 2024.

Autoformalizing Euclidean Geometry

Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, and Xujie Si. Autoformalizing Euclidean Geometry. In Proceedings of the International Conference on Machine Learning, 2024.

Teaching

Introduction to Artificial Intelligence

Introduction to Databases

Service and leadership

• Reviewer
  • Neural Information Processing Systems (Neurips 2024)
  • Transactions on Machine Learning Research (TMLR 2024)