@article{prooforbluffevaluatingllmson2025usa,
  title = {Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad},
  author = {Ivo Petrov and Jasper Dekoninck and Lyuben Baltadzhiev and Maria Drencheva and Kristian Minchev and Mislav Balunović and Nikola Jovanović and Martin Vechev},
  year = {2025},
  eprint = {2503.21934},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2503.21934v4},
}