@misc{indiciae041a334c6c37,
  title = {BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs},
  author = {Ivo Petrov and Jasper Dekoninck and Martin Vechev},
  year = {2025},
  url = {https://arxiv.org/abs/2510.04721},
  note = {Source identifier: 2510.04721}
}