Scholar
Zhengyu (Brian) Li
Google Scholar ID: u_XSFyEAAAAJ
Georgia Institute of Technology
Citations & Impact
Citations
169
H-index
4
i10-index
3
Publications
10
Co-authors
15
list available
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- 2025: IJCAI 2025 accepted paper 'Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3,8) and R(3,9) Problems', authors include Zhengyu Li et al. AAAI 2025 published paper 'PokerBench: Training Large Language Models to Become Professional Poker Players'. 2024: IJCAI 2024 published paper 'A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem', AAAI 2024 published two student abstract papers. Preprint paper 'AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems'. 2022: SC-Square Workshop (part of IJCAR 22) published paper 'An SC-Square Approach to the Minimum Kochen–Specker Problem'. Science of The Total Environment published paper 'Automatic quantification and classification of microplastics in scanning electron micrographs via deep learning'. 2021: Math Horizons published paper 'In Tetracycles: a SET Deck Magic Trick'.
Research Experience
- Summer 2025: Applied Scientist Intern for the Automated Reasoning - NeuroSymbolic AI Team at Amazon Web Services in Boston. Led projects on heuristics generation in SAT solvers with Large Language Models and evolutionary algorithms, and combining LLM Tree of Thoughts with SAT solver feedback to discover new matrix multiplication algorithms. Summer 2023: Machine Learning Research Intern for Phenomic AI in Toronto, Canada. Led a project to enhance spatial gene expression analysis using deep learning. Summer 2022: Data Science and Advanced Analytics Intern for TD Insurance in Toronto, Canada. Implemented a predictive model using machine learning and PCA on large-scale customer data.
Education
- PhD: Computer Science, Georgia Institute of Technology, Advisor: Vijay Ganesh; Master's: Computational Mathematics, University of Waterloo; Bachelor's: Mathematics, University of Toronto.
Background
- Research Interests: Automated Reasoning + Machine Learning, SAT/SMT Solvers + Computer Algebra Systems, Logic in Computer Science, Graph Theory & Combinatorics. Background: PhD Student in Computer Science at Georgia Institute of Technology, advised by Professor Vijay Ganesh. Holds a Bachelor of Science in Mathematics from the University of Toronto and a master's degree in Computational Mathematics from the University of Waterloo.
Miscellany
- Personal Interests: Twitter account @BrianforPhD
