ICML 2024 Challenges on Automated Math Reasoning