miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward - Ospanov, Azim; Farnia, Farzan; Mohit, Roozbeh (Advances in Neural Information Processing Systems, 2025)