BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs Paper • 2510.04721 • Published Oct 6