Zhaoyu Li (Preferred)
Zhaoyu Li
PhD student, University of Toronto
Joined
May 2022
Names
Emails
****@mila.quebec (Confirmed)
****@mail.mcgill.ca (Confirmed)
****@cs.toronto.edu (Confirmed)
****@mail.utoronto.ca (Confirmed)
Personal Links
Career & Education History
PhD student
University of Toronto (cs.toronto.edu)
2023 – Present
Intern
Facebook (meta.com)
2025 – 2025
PhD student
McGill University (cs.mcgill.ca)
2021 – 2023
Undergrad student
Shanghai Jiaotong University (sjtu.edu.cn)
2017 – 2021
Advisors, Relations & Conflicts
Expertise
Neuro-Symbolic AI
2022 – Present
Large Language Models for reasoning
2022 – Present
Formal Theorem Proving
2021 – 2026
Combinatorial Optimization
, SAT Solving
2021 – 2023
Publications
Co-Authors
- Alexander G. Gray
- Anima Anandkumar
- Bowen Li
- Chen Wang
- Fan Yang
- Hangrui Bi
- Jialiang Sun
- Jian Lu
- Jingwei Xu
- Jinpei Guo
- Jinqi Luo
- Kaiyu Yang
- Katia P. Sycara
- Logan Murphy
- Marcus J. Min
- Osbert Bastani
- Pradeep Kumar Ravikumar
- Qidong Su
- Qiwei Du
- Sebastian Scherer
- Simon Stepputtis
- Taolue Chen
- Wen Tang
- Wenjie Ma
- Wenshan Wang