VerifyBench: A Systematic Benchmark for Evaluating Reasoning Verifiers Across Domains
专题命中 推理评测 :reasoning(title,abstract);verifier(abstract);分类 cs.AI
Comments Preprint, Under review
AI 大模型
大模型数学、逻辑、规划、多步推理和测试时计算能力。
专题命中 推理评测 :reasoning(title,abstract);verifier(abstract);分类 cs.AI
Comments Preprint, Under review
机构 * Ant Group(蚂蚁集团)
专题命中 推理评测 :reasoning(title,abstract);分类 cs.CL、cs.LG
专题命中 推理评测 :reasoning(title,abstract);分类 cs.AI
Comments 29 pages, 8 figures, 2 tables
机构 * College of AI, Tsinghua University(清华大学人工智能学院) ; Department of Electronic Engineering, BNRist, Tsinghua University(清华大学电子工程系) ; School of Electronic and Information Engineering, Beijing Jiaotong University(北京交通大学电子信息学院) ; Department of Computer Science and Technology, Tsinghua University(清华大学计算机科学与技术系)
专题命中 推理评测 :reasoning(abstract);分类 cs.CL、cs.AI、cs.LG
Comments 19 pages, 9 figures
专题命中 推理评测 :reasoning(abstract);分类 cs.CL、cs.AI
机构 * Department of Computer Science and Engineering, The Chinese University of Hong Kong(中国香港中文大学计算机科学与工程系) ; School of Electronic Science and Engineering, Nanjing University(南京大学电子科学与工程学院) ; School of Integrated Circuits, Peking University(北京大学集成电路学院) ; School of Intergrated Circuits, Southeast University(东南大学集成电路学院) ; School of Computer Science and Engineering, Southeast University(东南大学计算机科学与工程学院) ; Department of Computer Science and Technology, University of Chinese Academy of Sciences(中国科学院大学计算机科学与技术系) ; National Center of Technology Innovation for EDA(EDA技术创新国家中心)
专题命中 推理评测 :reasoning(abstract);分类 cs.AI、cs.LG
Comments 10 pages, 1 figure, 5 tables. To appear in ICCAD 2025
机构 * University of Iceland(爱沙尼亚大学)
专题命中 推理评测 :reasoning(abstract);分类 cs.AI
机构 * Humain Riyadh, KSA(利雅得人类,沙特阿拉伯)
专题命中 推理评测 :reasoning(abstract);分类 cs.AI
机构 * York University(约克大学) ; Dialpad ; Salesforce AI Research(Salesforce人工智能研究)
专题命中 推理评测 :reasoning(abstract);分类 cs.CL
机构 * Einstein Global Advanced Technologies for Equity(埃因斯坦全球先进科技以公平为宗旨) ; Hospital Israelita Albert Einstein(埃因斯坦医院) ; Departamento de Pacientes Graves(重症患者部门) ; Stanford Center for Artificial Intelligence in Medicine and Imaging(斯坦福大学医学与成像人工智能中心) ; Departmento de Cirurgia(外科部门) ; Faculdade de Medicina, Universidade de São Paulo(圣保罗大学医学院) ; Faculdade Israelita de Ciências da Saúde Albert Einstein(埃因斯坦以色列健康科学学院)
专题命中 推理评测 :reasoning(abstract);分类 cs.CL
专题命中 推理评测 :reasoning(abstract);分类 cs.CL
Comments 10 pages
机构 * Hangzhou Institute for Advanced Study(杭州先进研究所) ; University of Chinese Academy of Sciences(中国科学院大学) ; Alibaba Group(阿里巴巴集团)
专题命中 推理评测 :reasoning(abstract);分类 cs.AI
Comments Appendix at: https://github.com/PAMPAS-Lab/ANA-PPT-Anamation/blob/main/Appendix.pdf
专题命中 推理评测 :reasoning(abstract);分类 cs.AI
Comments Accepted at the ICML 2025 Workshop on Multi-Agent Systems in the Era of Foundation Models: Opportunities, Challenges, and Futures. Code repo: https://github.com/emiliamazzo/WARPP/
机构 * University of Amsterdam(阿姆斯特丹大学) ; SAI, Shanghai Jiao Tong University(上海交通大学SAI研究所) ; Xiaohongshu Inc(小红书公司)
专题命中 推理评测 :reasoning(abstract)