TY  - RPRT
TI  - BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
AU  - Ivo Petrov
AU  - Jasper Dekoninck
AU  - Martin Vechev
PY  - 2025
UR  - https://arxiv.org/abs/2510.04721
ID  - 2510.04721
ER  -