1
TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics
度量LLM数学定理证明能力的全新基准，填补自动形式化证明评估空白
arXiv:2606.09450v1 Announce Type: new Abstract: LLMs have recently achieved strong results on formal proving benchmarks. However, existing evaluations…