Jing Guo

AI for Math, theoretical computer science, and extremal combinatorics.

Erdos number: 2

guoj.org | Google Scholar | arXiv | LinkedIn

---

Research

• 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"

---

Open Source

• 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

---

Recent Writing

• Solve, Verify, Correct: An IMO Problem-Solving Pipeline - AI agents for mathematical problem-solving (Cohere Labs Catalyst Grant)