Email: dev [dot] guoj [at] gmail [dot] com

CV

Google Scholar / MathSciNet / arXiv / GitHub / LinkedIn

Hi! Bonjour! 你好！

I am actively looking for doctoral positions and jobs in AI and software engineering.

I completed my Master studies in Mathematics at Universität Regensburg in Summer 2025. I graduated from the University of Utah in Spring, 2020. I also spent an semester at the Math in Moscow program and another at the Budapest Semesters in Mathematics program, for which Department of Mathematics of the University of Utah wrote an article. My Erdős number is 2.

I am a contributor of the open-source mathematics software SageMath, including but not limited to its arithmetic geometry and graph theory libraries. I have run two half-marathons in Shanghai in 2014 and in Hong Kong in 2016, and the Chicago Marathon in 2017.

Software & Projects

  • count-graph-homs: Count graph homomorphisms effortlessly in SageMath for fun! 🚀

Research

Publications and Preprints

Note: Authors on papers in mathematics and theoretical computer science are generally ordered alphabetically by last name, thanks to Hardy and Littlewood. *Equal contribution.

  1. QEDBench: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs

    Santiago Gonzalez*, Alireza Amiri Bavandpour*, Peter Ye*, Edward Zhang*, and 47 more authors

    [ arXiv | GitHub ]

  2. Crowns in linear 3-graphs of minimum degree 4

    Alvaro Carbonero, Willem Fletcher, Jing Guo, András Gyárfás, Rona Wang, and Shiyu Yan

    The Electronic Journal of Combinatorics, 29 (4), P4.17, 2022

    [ Journal | arXiv ]

Master’s Thesis

  1. A Tale of Two Arcs: The Circle Method and Waring’s Problem

Notes

  1. Roth’s theorem on arithmetic progressions, or there and back again: We discuss the history and recent developments of Roth’s theorem on arithmetic progressions. We present Fourier analysis in the integers, and its applications in the proof of Roth’s theorem. We also mention the finite field model, e.g., the cap set problem.

Writings