Schedule subject to change; check https://ai-math-seminar.github.io/seminar/ for speakers, abstracts, and slides. The seminar explores the fast-growing interface between mathematical reasoning, formal methods, and modern AI systems. It is co-organized by […]

The capstone session will be structured as a guided lab where participants transform workshop outputs into a cohesive, portfolio-ready project using pre-configured datasets and notebooks to ensure completion within a […]