TY  - RPRT
TI  - Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
AU  - Ivo Petrov
AU  - Jasper Dekoninck
AU  - Lyuben Baltadzhiev
AU  - Maria Drencheva
AU  - Kristian Minchev
AU  - Mislav Balunović
AU  - Nikola Jovanović
AU  - Martin Vechev
PY  - 2025
UR  - https://arxiv.org/abs/2503.21934
ID  - 2503.21934
ER  -