About
Photo credit: Weizhe Chen.
I am a Ph.D. student in Computer Science at the University of Toronto, working with Prof. Xujie Si. Before coming to U of T, I spent one and a half years at McGill University and Mila - Quebec AI Institute as a Ph.D. student. Prior to that, I obtained my bachelor's degree with honors from the ACM class at Shanghai Jiao Tong University (SJTU).
My research interests mainly lie in neuro-symbolic AI, with a special focus on using deep neural networks to perform logical reasoning and mathematical reasoning. Recently, I have been working on using large language models to generate mathematical proofs like human beings, tackling the automated theorem proving problem in both formal and informal settings.
With a strong theoretical understanding and specific domain knowledge, I am also interested in developing machine learning algorithms for combinatorial optimization problems, particularly those around satisfiability problems such as SAT, SMT, and #SAT (model counting) problems, and applying them as reasoning engines in various downstream applications.
If you find any research interests that we might share, feel free to drop me an email. I am always open to potential collaborations.
Publications
-
APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts [paper] [code]
Preprint
Honghua Dong, Qidong Su, Yubo Gao, Zhaoyu Li, Yangjun Ruan, Gennady Pekhimenko, Chris J. Maddison, Xujie Si
-
LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation [website]
NeurIPS 2024
Bowen Li, Zhaoyu Li, Qiwei Du, Jinqi Luo, Wenshan Wang, Yaqi Xie, Simon Stepputtis, Chen Wang, Katia P. Sycara, Pradeep Kumar Ravikumar, Alexander G. Gray, Xujie Si, Sebastian Scherer
-
Autoformalization with Symbolic Equivalence and Semantic Consistency
NeurIPS 2024
Zenan Li, Yifan Wu, Zhaoyu Li, Xinming Wei, Xian Zhang, Fan Yang, Xiaoxing Ma
-
A Survey on Deep Learning for Theorem Proving [paper] [code]
COLM 2024
Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si
-
Autoformalizing Euclidean Geometry [paper] [code]
ICML 2024
Logan Murphy*, Kaiyu Yang*, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si
-
G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks [paper] [code]
TMLR 2024
Zhaoyu Li, Jinpei Guo, Xujie Si
-
Learning Reliable Logical Rules with SATNet [paper] [code]
NeurIPS 2023
Zhaoyu Li, Jinpei Guo, Yuhe Jiang, Xujie Si
-
Neuro-symbolic Learning Yielding Logical Constraints [paper] [code]
NeurIPS 2023
Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu
-
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems [paper] [code]
NeurIPS 2022
Zhaoyu Li, Xujie Si
-
Graph Contrastive Pre-training for Effective Theorem Reasoning [paper]
ICML Workshop on Self-Supervised Learning for Reasoning and Perception 2021 (Contributed talk)
Zhaoyu Li, Binghong Chen, Xujie Si
Talks
-
Deep Learning for Theorem Proving: Overview and Future Directions
Invited talk at Applied Deep Learning Research Group, NVIDIA, September 2024 -
Deep Learning for Theorem Proving: Overview and Future Directions
Invited talk at Software Engineering Group, Nanjing University, August 2024 -
Some Notes on Neural Theorem Proving
Invited talk at Systems and Networking Research Group, Microsoft Research Asia, July 2023 -
Deep Learning for Automated Reasoning: Methods and Applications
Invited talk at ReThinkLab, SJTU, December 2022 -
Graph Contrastive Pre-training for Effective Theorem Reasoning
Presented at ICML 2021 Workshop: Self-Supervised Learning for Reasoning and Perception, July 2021
Selected Awards
- C.C. Gotlieb (Kelly) Graduate Fellowship, U of T, 2024
- Graduate Excellence Fellowship, McGill University, 2021 - 2022
- Max Stern Recruitment Fellowship, McGill University, 2021
- China National Scholarship, (Top 1% in SJTU), 2020
- Zhiyuan Honorary Scholarship, (Top 5% in SJTU), 2017 - 2020
Teaching Experience
- Teaching Assistant of CSC2547: Automated Reasoning with Machine Learning, 2024, U of T
- Teaching Assistant of CSC2547: Automated Reasoning with Machine Learning, 2023, U of T
- Guest Lecturer of MS326: Deep Learning and Its Applications, 2022, SJTU
- Teaching Assistant of MS110: Computer System (2), 2020, SJTU
- Teaching Assistant of MS108: Computer System (1), 2019, SJTU
Contact
- zhaoyu [at] cs [dot] toronto [dot] edu