This seminar course explores how AI can support research in mathematics and optimization.
Lecturers: Prof. Dr. Niao He, Dr. Zebang Shen.
The seminar “AI for Math and Optimization” explored whether students with limited prior background in optimization could engage meaningfully with open research problems when supported by modern AI tools. Most participants were bachelor students (18/35) or master students (17/35) without formal optimization training. In a traditional setting, it would be unusual for such students to independently learn enough optimization theory in one semester to make research-level progress on open problems. The seminar tested whether AI could lower this barrier by acting as a tutor, literature assistant, coding assistant, proof critic, formalization assistant, and exploration partner.
| Project Title | Students | Supervisor | Outcome |
|---|---|---|---|
| Cycling Behavior of Polyak's Heavy-Ball Method |
Konstantinos Fotopoulos Michael Helcig Karl Deck Jannis Alsbach |
Chung-En Tsai | Blog Post |
| Derandomization of the Arcsine Stepsize Schedule |
Tan Hong Jiaheng Li Tamás Nemes Madeleine Soukup |
Chung-En Tsai | - |
| Making the Gradient Small with Projected Stochastic Gradient Descent |
Tengerleg Enkhtuvshin Şevval Uyanık Piotr Jasiński |
Florian Hübler | - |
| Towards the Optimal Sample Complexity of SGD under Heavy-Tailed Noise |
Brandon Barton Marita Berger Oliver Oberle Jeremy Perrig |
Florian Hübler | - |
| Nonsmooth DP-SCO: Optimal Rates in Linear Time |
Micha Henheik Filip Oliver Klimoszek David Korčák Felix Quernheim |
Liang Zhang | Blog Post |
| Nesterov Acceleration under a Local Polyak-Łojasiewicz Condition |
Max Obreiter Tobias Steinbrecher Robert Förster |
Zebang Shen | Blog Post |
| A Principled Impossibility Result for Optimistic Gradient, and a Neuro-Symbolic Search for the Natural Proof |
Saad Aissaoui Youssef Chorfi Alperen Gür |
Ya-Ping Hsieh | - |
| On Oracle Complexity of Convex Optimization with Linear Memory |
Mohamed Abdelrahman Omar Elrakhawy Mara Stauch Joris Vorburger |
Chung-En Tsai | - |
| Closed-Form and Convergence of Fitzpatrick Functions for Entropy Subdifferentials |
Sangbeom Park Stefan-Alexandru Popescu Anna Pecheanu Mingyu Hu |
Ya-Ping Hsieh | Blog Post |