---

I am a PhD Student in Computer Science at Georgia Institute of Technology advised by Professor Vijay Ganesh. I hold a Bachelor of Science in Mathematics from the University of Toronto and a master degree in Computational Mathematics from the University of Waterloo.

I work on combining (logical) reasoning and (machine) learning to build automated reasoning systems that solve open Math and Physics problems. More concretely, one of my ongoing work is to combine SAT solvers' search capabilities with Computer Algebra Systems' mathematical domain knowledge to solve hard combinatorial problems.

---

Selected Publications

Citations: 147   Erdös #: 3  

2025

• Accepted "Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3,8) and R(3,9) Problems", Zhengyu Li, Conor Duggan, Curtis Bright, Vijay Ganesh. IJCAI 2025 (Acceptance Rate = 19.3%).
• Accepted "PokerBench: Training Large Language Models to Become Professional Poker Players", Richard Zhuang, Akshat Gupta, Richard Yang, Aniket Rahane, Zhengyu Li, Gopala Anumanchipalli. AAAI 2025 (Acceptance Rate = 23.4%).

2024

• Published "A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem", Zhengyu Li, Curtis Bright, and Vijay Ganesh. IJCAI 2024 (Acceptance Rate = 15%). Listen to the AI-generated podcast
• Published "A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract)", Conor Duggan, Zhengyu Li, Curtis Bright, and Vijay Ganesh. AAAI 2024.
• Published "A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract)", Zhengyu Li, Curtis Bright, and Vijay Ganesh. AAAI 2024.
• Preprint "AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems", Piyush Jha, Zhengyu Li, Zhengyang Lu, Curtis Bright, and Vijay Ganesh

2022

• Published "An SC-Square Approach to the Minimum Kochen–Specker Problem", Zhengyu Li, Curtis Bright, and Vijay Ganesh. SC-Square Workshop, Part of IJCAR 22.
• Published "Automatic quantification and classification of microplastics in scanning electron micrographs via deep learning", Shi, B., Patel, M., Yu, D., Yan, J., Li, Z., Petriw, D., ... & Howe, J. Y. (2022). Science of The Total Environment.

2021

• Published "In Tetracycles: a SET Deck Magic Trick", Parker Glynn-Adey, Zhengyu Li. Math Horizons.

---

Awards and Honors More »

• IJCAI Travel Grant - the 33rd International Joint Conference on Artificial Intelligence
• Student Travel Scholarship - 36th International Conference on Computer Aided Verification
• Resource Allocation Competitions ($18,841) - Digital Research Alliance
• Best Speaker Award for Master Project Presentation - University of Waterloo
• Ontario Graduate Fellowship - University of Waterloo
• Dean's List Scholar - University of Toronto
• Best VR/AR Application - HackWestern Hackathon 2020
• Best Machine Learning Application Award - Hack the Six Hackathon 2019
• Third Place - Scotiabank & University of Toronto Big Data & A.I. Competition 2019

---

Graduate Level Courses More »

• CS 6515 Graduate Algorithms
• CS 6601 Artificial Intelligence
• CS 8903 Logic in Computer Science
• STAT 940 Deep Learning
• CM 730 Intro to Symbolic Computation
• CM 762 Data Visualization
• CM 740 Fundamentals of Optimization
• CM 770 Numerical Analysis
• QIC 710 Quantum Information Processing