MATH-AI workshop accepted to NeurIPS 2026
KaiyuYang4 · x · 2026-07-21
NeurIPS 2026 will host the 6th Workshop on Mathematical Reasoning and AI (MATH-AI) in Atlanta on Dec. 12 or 13, 2026.
The workshop focuses on how agentic AI systems can support mathematical research while staying reliable collaborators for human mathematicians — including conjecture generation, exploration, formalization, theorem proving, verification, and discovery. The call for papers and reviewer recruitment are both open, with submissions to appear soon on OpenReview.
More from Research
- KANLab: an interactive browser playground for Kolmogorov-Arnold Networks — Lukas Niehaus · 2026-10-27
- CMU's LLM2Cert synthesizes stability certificates verified via SMT and Lean — CarnegieMellonU · 2026-10-27
- NVIDIA open-sources FLORA, a robotics data engine ~125x cheaper than GPT-6 Astra — nvidia · 2026-10-27
- RSNA 2026 Deep Learning Labs return: eight hands-on AI classes over four days in Chicago — PRouzrokh · 2026-10-27
- Steering two orthogonal concept neurons makes a model compose "gnome" — Sauers_ · 2026-10-27
- Paper: data schedules and learning rate schedules should be designed together — alifcoder · 2026-10-27