TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics 文章

ArXiv CS.AI2026-06-09NEWSen作者: QuocViet Pham, Elvir Karimov, Andrey Galichin, Ivan Oseledets
查看原文 →
关系图谱

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics · 相关人物

暂无数据