Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad. - Ivo Petrov; Jasper Dekoninck; Lyuben Baltadzhiev; Maria Drencheva; Kristian Minchev; Mislav Balunovic; Nikola Jovanovic 001; Martin T. Vechev (CoRR, 2025)