NeurIPS 2024 Workshop MATH-AI Submissions