| user: | chaoxu |
| created: | November 12, 2012 |
| karma: | 332 |
| about: | <https://chaoxu.prof> Professor at UESTC, works on theoretical computer science and operations research. Research interests: algorithms, combinatorial optimization, computational geometry and problem-solving in general. |
| 1. | AI Agents for the Working Mathematician(chaoxu.prof) |
| 2. | AxiomProver at IMO 2026 (perfect score)(github.com) |
| 3. | First Proof Second Batch [pdf](1stproof.org) |
| 4. | |
| 5. | |
| 6. | Typst: Compose Papers Faster(typst.app) |