chaoxu

Karma: 332
Created: 13 years ago

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.

Recent Submissions

1. ▲ AI Agents for the Working Mathematician (chaoxu.prof) 5 points · 17 days ago · 0 comments
2. ▲ AxiomProver at IMO 2026 (perfect score) (github.com) 1 point · 19 days ago · 0 comments
3. ▲ First Proof Second Batch [pdf] (1stproof.org) 2 points · 1 month ago · 0 comments
4. ▲ Ace Technical Preview: GitHub Next's Agentic Workspace – Maggie Appleton [video] (youtube.com) 3 points · 3 months ago · 0 comments
5. ▲ Ask HN: Bank Transactions to CSV 2 points · 3 years ago · 0 comments
6. ▲ Typst: Compose Papers Faster (typst.app) 4 points · 4 years ago · 1 comment

All submissions on HN · View profile on HN