DIMACS AI and Mathematics Seminar Series
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 […]
