| Title | Subject(s) | Venue & Year | Links & Resources |
|---|---|---|---|
| Early science acceleration experiments with GPT-5 | Combinatorics, Optimization Theory, LLM | arXiv 2025 | |
| Point Convergence of Nesterov's Accelerated Gradient Method: An AI-Assisted Proof | Optimization Theory, LLM | arXiv 2025 |