Zhaoyu Li

PhD student, University of Toronto

  • Joined May 2022

Names

Zhaoyu Li (Preferred)

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
 
PhD student
McGill University (cs.mcgill.ca)
2021 – 2023
 
Undergrad student
Shanghai Jiaotong University (sjtu.edu.cn)
2017 – 2021
 

Advisors, Relations & Conflicts

PhD Advisor
2021 – Present
 

Expertise

Neuro-Symbolic AI
2022 – Present
 
Large Language Models, Formal Theorem Proving
2022 – Present
 
Combinatorial Optimization, SAT Solving
2021 – Present