Math AI Seminar

The Math AI Seminar is a research seminar on computer-assisted mathematics with topics ranging from mathematical formalization, the integration of machine learning tactics in mathematical formalization, the mathematical theory of machine learning and artificial intelligence, and applying machine learning techniques in pure mathematical research.