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
- Nature paper images cellular activity across all organs, revealing body-wide circuits — arjunrajlab · 2026-09-11
- SignNet 1M Dataset Released for Sign Language Research — ducha_aiki · 2026-09-11
- ECCV26 Oral: Flow Matching Enables Single-Stage Multi-View Point Cloud Registration — ducha_aiki · 2026-09-11
- InFlux++ Method Released — ducha_aiki · 2026-09-11
- Skyfall GS Uses Flux to Refine Gaussian Splatting, Accepted at ECCV 2026 — ducha_aiki · 2026-09-11
- Could 10k agents discover learning methods beyond backprop, or just tweak existing ones? — SeunghyunSEO7 · 2026-09-11