Reactions from ranked influencers
2 posts
🚀 Excited to announce that our Workshop on Mathematical Reasoning and AI (MATH-AI) has been accepted to NeurIPS 2026! 📍 Atlanta, Georgia 📅 December 12 or 13, 2026 (exact date TBD) MATH-AI 2026 will explore how agentic AI systems can advance mathematical research while remaining reliable collaborators for human mathematicians — from conjecture generation and exploration to formalization, theorem proving, verification, and research discovery. 🌐 Workshop website & future updates: https://mathai-2026.github.io/ 📄 Call for Papers: https://mathai-2026.github.io/cfp/ We welcome researchers working across AI, mathematics, formal methods, theorem proving, program synthesis, cognitive science, and related areas. Submission details via OpenReview will be available soon. Stay tuned for future announcements! 🔍 We are also seeking reviewers to help support a rigorous and inclusive review process. If you are interested in reviewing MATH-AI submissions, please sign up here: https://docs.google.com/forms/d/e/1FAIpQLSenuh8uLvudlAA0ifF-pGU_XjpgU7CINQBFeDC0Acq_tIq2YQ/viewform?usp=header 🤝 We are seeking sponsors to support community activities, student participation, and outstanding contributions at MATH-AI 2026. Please DM or email me if you are interested in supporting the workshop. Many thanks to our wonderful organizing team @p_song1 @KaiyuYang4 @lupantech @patrickshafto @prfsanjeevarora @katie_m_collins @wellecks @Mateja_Jamnik. Looking forward to growing and connecting the MATH-AI community at NeurIPS 2026! #MATHAI #AI4MATH #AI #LLM #MachineLearning #NeurIPS @NeurIPSConf
Very excited for MATH-AI at NeurIPS! Submit your papers!
🚀 Excited to announce that our Workshop on Mathematical Reasoning and AI (MATH-AI) has been accepted to NeurIPS 2026! 📍 Atlanta, Georgia 📅 December 12 or 13, 2026 (exact date TBD) MATH-AI 2026 will explore how agentic AI systems can advance mathematical research while remaining reliable collaborators for human mathematicians — from conjecture generation and exploration to formalization, theorem proving, verification, and research discovery. 🌐 Workshop website & future updates: https://mathai-2026.github.io/ 📄 Call for Papers: https://mathai-2026.github.io/cfp/ We welcome researchers working across AI, mathematics, formal methods, theorem proving, program synthesis, cognitive science, and related areas. Submission details via OpenReview will be available soon. Stay tuned for future announcements! 🔍 We are also seeking reviewers to help support a rigorous and inclusive review process. If you are interested in reviewing MATH-AI submissions, please sign up here: https://docs.google.com/forms/d/e/1FAIpQLSenuh8uLvudlAA0ifF-pGU_XjpgU7CINQBFeDC0Acq_tIq2YQ/viewform?usp=header 🤝 We are seeking sponsors to support community activities, student participation, and outstanding contributions at MATH-AI 2026. Please DM or email me if you are interested in supporting the workshop. Many thanks to our wonderful organizing team @p_song1 @KaiyuYang4 @lupantech @patrickshafto @prfsanjeevarora @katie_m_collins @wellecks @Mateja_Jamnik. Looking forward to growing and connecting the MATH-AI community at NeurIPS 2026! #MATHAI #AI4MATH #AI #LLM #MachineLearning #NeurIPS @NeurIPSConf