brokenmath - Robuta Search

https://www.sycophanticmath.ai/ BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs benchmark sycophancy theorem proving llms