---

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 systems that solve open Math and Physics problems.

---

Selected Publications

Citations: 102   Erdös #: 3  

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