Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2510.04721
Cited By
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
6 October 2025
Ivo Petrov
Jasper Dekoninck
Martin Vechev
Re-assign community
ArXiv (abs)
PDF
HTML
Github
Papers citing
"BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs"
1 / 1 papers shown
Title
Beacon: Single-Turn Diagnosis and Mitigation of Latent Sycophancy in Large Language Models
Sanskar Pandey
Ruhaan Chopra
Angkul Puniya
Sohom Pal
44
0
0
19 Oct 2025
1
