ML for Math

• [2410.02884] LLaMA-Berry: Pairwise Optimization for O1-like Olympiad-Level Mathematical Reasoning
• [M2L 2024] Machine Learning for Theorem Proving - Emily First - YouTube