ICML 2024 Workshop AI4MATH Submissions