Hybrid Reinforcement: When Reward Is Sparse, It's Better to Be Dense
机构 * FAIR at Meta(Meta 的 FAIR) ; University of Wisconsin–Madison(威斯康星大学麦迪逊分校)
专题命中 数学推理 :reasoning(abstract);verifier(abstract);分类 cs.CL、cs.LG
Comments 21 pages
AI 大模型
大模型数学、逻辑、规划、多步推理和测试时计算能力。
机构 * FAIR at Meta(Meta 的 FAIR) ; University of Wisconsin–Madison(威斯康星大学麦迪逊分校)
专题命中 数学推理 :reasoning(abstract);verifier(abstract);分类 cs.CL、cs.LG
Comments 21 pages
机构 * University of Waterloo(滑铁卢大学) ; Sea AI Lab(Sea AI 实验室) ; University of Toronto(多伦多大学) ; Shanghai University(上海大学) ; HKUST(香港科技大学) ; M-A-P ; National University of Singapore(新加坡国立大学)
专题命中 数学推理 :reasoning(abstract);分类 cs.CL、cs.AI
Comments 32 pages, 5 figures, 13 tables
机构 * College of Computer Science and Software Engineering, Shenzhen University, China(深圳大学计算机科学与软件工程学院) ; Tsinghua Shenzhen International Graduate School, Tsinghua University, China(清华大学深圳国际研究生院) ; Guangdong Lab of AI and Digital Economy (SZ), China(广东人工智能与数字经济实验室(深圳)) ; Hong Kong University of Science and Technology (Guangzhou), China(香港科技大学(广州)) ; School of Information Technology, Carleton University, Canada(卡尔顿大学信息科技学院)
专题命中 数学推理 :reasoning(abstract);分类 cs.CL、cs.AI
Comments 24 pages, 9 figures
机构 * Microsoft Research, Redmond(微软研究院(红mond)) ; Meta Superintelligence Labs(Meta超智能实验室)
专题命中 代码与定理证明 :reasoning(abstract)
Comments Project Page: https://praeclarumjj3.github.io/visper_lm/
专题命中 逻辑推理 :reasoning(title,abstract)
机构 * Chalmers University of Technology and University of Gothenburg(查尔姆斯理工大学和哥德堡大学) ; SAP(SAP公司) ; Zhejiang University(浙江大学)
专题命中 逻辑推理 :reasoning(abstract);planning(abstract);分类 cs.LG
机构 * Georgia Institute of Technology(佐治亚理工学院) ; Cisco Research(思科研究)
专题命中 规划推理 :reasoning(title,abstract);chain-of-thought(title,abstract);CoT(abstract);planning(abstract)
机构 * Dartmouth College(达特茅斯学院) ; CUHK(香港大学)
专题命中 规划推理 :reasoning(title,abstract);CoT(title,abstract);chain-of-thought(abstract);planning(abstract)
Comments 26 pages
专题命中 规划推理 :planning(title,abstract);reasoning(abstract);分类 cs.AI
Comments 10 pages includes appendix and reference
专题命中 规划推理 :reasoning(title,abstract);CoT(abstract)
机构 * DP Technology(DP技术公司) ; Shanghai Jiao Tong University(上海交通大学) ; East China Normal University(华东师范大学)
专题命中 规划推理 :reasoning(title,abstract);分类 cs.AI、cs.LG
机构 * Fudan University(复旦大学) ; Tensorpacific ; Peng Cheng Laboratory(鹏城实验室) ; Meta AI ; Shanghai Academy of AI for Science (SAIS)(上海人工智能科学研究院)
专题命中 规划推理 :reasoning(title,abstract);分类 cs.AI、cs.LG
机构 * Shanghai Jiao Tong University(上海交通大学)
专题命中 规划推理 :reasoning(title,abstract);分类 cs.CL
Comments 20 pages, 13 figures
专题命中 规划推理 :planning(title,abstract);分类 cs.AI
Comments 12 pages, including supplementary and reference
专题命中 规划推理 :reasoning(abstract);chain-of-thought(abstract);planning(abstract);分类 cs.CL、cs.AI
Comments Project at https://github.com/OpenBMB/AppCopilot
机构 * College of Computer Science and Technology, National University of Defense Technology, Changsha, China(计算机科学与技术学院,国防科技大学,长沙,中国)
专题命中 规划推理 :reasoning(abstract);planning(abstract);分类 cs.CL、cs.AI
机构 * MBZUAI ; The University of Melbourne(墨尔本大学)
专题命中 规划推理 :reasoning(abstract);分类 cs.CL、cs.AI、cs.LG
Comments 4 figures, 8 tables, accepted to Findings of NAACL
机构 * City University of Hong Kong(香港城市大学) ; Northwestern University(西北大学) ; The Hong Kong University of Science and Technology(香港科学与技术大学) ; Oxford University(牛津大学) ; Allen Institute for AI (AI2)(人工智能研究所) ; University of Washington(华盛顿大学) ; National University of Singapore(新加坡国立大学) ; The Hong Kong Polytechnic University(香港理工大学)
专题命中 规划推理 :reasoning(abstract);分类 cs.CL、cs.LG
机构 * Shanghai Jiao Tong University(上海交通大学) ; Alibaba Group(阿里巴巴集团)
专题命中 规划推理 :planning(abstract);分类 cs.CL
机构 * Oracle Health & AI(Oracle健康与人工智能)
专题命中 规划推理 :reasoning(abstract);分类 cs.AI
机构 * Amazon Web Services(亚马逊网络服务)
专题命中 规划推理 :reasoning(abstract);分类 cs.AI
机构 * School of Computing, Smart System Institute, National University of Singapore, Singapore(计算学院、智能系统研究所、新加坡国立大学,新加坡) ; Department of Electronic and Electrical Engineering, Southern University of Science and Technology, China(电子与电气工程系、南方科技大学,中国)
专题命中 规划推理 :planning(abstract);分类 cs.AI
机构 * Computer Science Center, U. of Montenegro(蒙特内格罗大学计算机科学中心)
专题命中 规划推理 :planning(abstract);分类 cs.AI
机构 * School of Software, Tsinghua University(清华大学软件学院) ; BNRist, Tsinghua University(清华大学BNRist) ; Meituan Inc.(美团公司) ; Department of Automation, Tsinghua University(清华大学自动化系)
专题命中 规划推理 :reasoning(abstract)
Comments NeurIPS 2025 Camera-ready Version
机构 * Stanford University(斯坦福大学) ; Jet Propulsion Laboratory(喷气推进实验室) ; California Institute of Technology(加州理工学院)
专题命中 视觉空间推理 :reasoning(title,abstract);planning(abstract);分类 cs.AI
专题命中 视觉空间推理 :reasoning(title,abstract);分类 cs.AI
机构 * SandLogic Technologies Pvt Ltd(沙德逻辑技术 Pvt Ltd)
专题命中 视觉空间推理 :reasoning(abstract);分类 cs.CL
机构 * Google(谷歌)
专题命中 视觉空间推理 :reasoning(abstract)
机构 * Simon Fraser University(西蒙弗雷泽大学) ; University of Padova(帕多瓦大学) ; Fondazione Bruno Kessler (FBK)(布鲁诺·克塞勒基金会) ; Alberta Machine Intelligence Institute (Amii)(阿尔伯塔人工智能研究所)
专题命中 视觉空间推理 :reasoning(abstract)
机构 * EPFL(瑞士联邦理工学院) ; Idiap Research Institute(Idiap研究所) ; IBM Research(IBM研究院)
专题命中 测试时计算 :reasoning(title,abstract);分类 cs.AI、cs.LG