AI for Math, theoretical computer science, and extremal combinatorics.
Erdos number: 2
guoj.org | Google Scholar | arXiv | LinkedIn
- QEDBench: Quantifying the alignment gap in automated evaluation of university-level mathematical proofs - ICML 2026
- Crowns in linear 3-graphs of minimum degree 4 - The Electronic Journal of Combinatorics, 2022
- Master's thesis: "A Tale of Two Arcs: The Circle Method and Waring's Problem"
- SageMath contributor - Arithmetic geometry, dynamical systems, and graph theory libraries (Google Summer of Code 2022 and 2023)
- count-graph-homs - Counting graph homomorphisms in SageMath
- Nyxt - Contributed to the Common Lisp web browser
- Solve, Verify, Correct: An IMO Problem-Solving Pipeline - AI agents for mathematical problem-solving (Cohere Labs Catalyst Grant)