reward hacking1 篇实战文章

这条在讲一个 TLA+ 证明的 agent benchmark，叫 TLAPSBench。出处是 arXiv:2611.02849，上礼拜提交的，第一作者 Qian Cheng，16 位作者。