MATH-AI: The 6th Workshop on Mathematical Reasoning and AI

MATH-AI examines agents participating in mathematical research beyond solving individual problems. Topics include conjecture generation, search, formalization, proofs, verification, explanation and learning from feedback, connecting mathematical practice with machine learning and formal methods. Session: 08:00–17:00 (America/New_York). A paid NeurIPS virtual pass includes workshop livestreams; on-site access follows the host-location registration rules.