Alan Li
PhD Student, Computer Science
The University of Texas at Austin
About
I am a second-year PhD student in Computer Science at UT Austin, advised by Swarat Chaudhuri. I am broadly interested in the application of AI to mathematics.
One project I am currently excited about uses AI to improve the best known bounds on the Grothendieck constant, which is fundamental to areas such as functional analysis, combinatorial optimization, and theoretical computer science (see our recent preprint). In this project, we have been exploring how AI can collaborate with human mathematicians on long-horizon open research problems.
Please feel free to reach out if you'd like to talk about any of this!
News
- Jul 2026Our paper PWW-Bench was accepted to the AI for Math Workshop at ICML 2026!
- Jun 2026New preprint improving the upper bound on the Grothendieck constant is on arXiv!
- Aug 2025Started my PhD at UT Austin.
Publications
Author names in blue are me. See also my Google Scholar.
PWW-Bench: Probing Visual Mathematical Reasoning with Proofs Without Words
3rd AI for Math Workshop (ICML 2026)