Arrows of Math Reasoning Data Synthesis for Large Language Models: Diversity, Complexity and Correctness
机构 * Zhejiang University(浙江大学)
专题命中 数学推理 :reasoning(title,abstract);math reasoning(title);分类 cs.CL
AI 大模型
大模型数学、逻辑、规划、多步推理和测试时计算能力。
机构 * Zhejiang University(浙江大学)
专题命中 数学推理 :reasoning(title,abstract);math reasoning(title);分类 cs.CL
机构 * Microsoft Research Redmond(微软研究院雷德蒙德)
专题命中 数学推理 :reasoning(abstract);分类 cs.LG
Comments EMNLP 2025 Camera Ready
专题命中 代码与定理证明 :reasoning(title,abstract);分类 cs.AI、cs.LG
专题命中 代码与定理证明 :reasoning(abstract)
机构 * PARRAWA AI
专题命中 逻辑推理 :reasoning(title,abstract);分类 cs.CL、cs.AI、cs.LG
Comments 25 pages, 9 figures. The AI Intuition Explorer dashboard is available at: https://cyrilliu1974.github.io/github.io/vi.html
专题命中 逻辑推理 :reasoning(abstract);分类 cs.AI
Comments 9 pages
机构 * Advanced Engineering and Technology(先进工程与技术)
专题命中 逻辑推理 :reasoning(abstract);分类 cs.AI
机构 * Fraunhofer IAIS - Department of Media Engineering(弗劳恩霍夫研究所媒体工程部门) ; University of Bonn - Department of Computer Science(波恩大学计算机科学系) ; West-AI - Federal Ministry of Education and Research(西德人工智能 - 教育与研究部)
专题命中 规划推理 :reasoning(title,abstract);chain-of-thought(abstract);分类 cs.AI
机构 * Gaoling School of Artificial Intelligence, Renmin University of China(中国人民大学人工智能学院) ; Poisson Lab, Huawei(华为Poison实验室)
专题命中 规划推理 :reasoning(title,abstract);chain-of-thought(abstract);分类 cs.AI
Journal ref Proceedings of the 34th ACM International Conference on Information and Knowledge Management (CIKM 2025)
专题命中 规划推理 :planning(title,abstract);分类 cs.CL、cs.AI
专题命中 规划推理 :planning(title,abstract);分类 cs.AI
Comments RLC 2025 Workshop on Programmatic Reinforcement Learning
机构 * Sunnyvale, California(加州松林市)
专题命中 规划推理 :reasoning(title,abstract);分类 cs.AI
Comments 4 pages, 5 figures
机构 * SJTU(上海交通大学) ; EIT(欧洲研究所) ; THU(清华大学) ; Galbot ; PKU(北京大学) ; UIUC(伊利诺伊大学香槟分校) ; USTC(中国科学技术大学)
专题命中 规划推理 :reasoning(abstract);planning(abstract)
机构 * School of Advanced Interdisciplinary Sciences, University of Chinese Academy of Sciences(中国科学院大学先进交叉学科学院) ; State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences(中国科学院数学与系统科学研究院)
专题命中 规划推理 :reasoning(abstract);分类 cs.CL、cs.AI
Comments This paper has been accepted to EMNLP 2025 (Main Conference)
机构 * Utrecht University(乌得勒支大学)
专题命中 规划推理 :planning(abstract);分类 cs.LG
机构 * The Hong Kong University of Science and Technology (Guangzhou)(香港科学与技术大学(广州)) ; Tencent(腾讯)
专题命中 规划推理 :planning(abstract);分类 cs.AI
机构 * Vanderbilt University(范德堡大学) ; Vanderbilt University Medical Center(范德堡大学医学中心)
专题命中 规划推理 :reasoning(abstract);分类 cs.LG
机构 * National University of Singapore(新加坡国立大学) ; University College London(伦敦大学学院) ; University of Edinburgh(爱丁堡大学)
专题命中 规划推理 :reasoning(abstract);分类 cs.AI
机构 * Zhixuan Shen, Haonan Luo, Kexun Chen, Fengmao Lv, Tianrui Li(作者)
专题命中 视觉空间推理 :chain-of-thought(title,abstract);planning(abstract)
Comments 16 pages, 10 figures, Extended Version of accepted AAAI 2025 Paper
专题命中 视觉空间推理 :reasoning(abstract);chain-of-thought(abstract);CoT(abstract)
专题命中 视觉空间推理 :reasoning(abstract);分类 cs.CL
Comments Accepted by EMNLP 2025 findings
专题命中 复杂问题求解 :reasoning(abstract);chain-of-thought(abstract);分类 cs.AI
专题命中 复杂问题求解 :reasoning(abstract);分类 cs.AI
专题命中 复杂问题求解 :reasoning(abstract)
Comments 5 pages,Latex;references added
机构 * University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校) ; The Hong Kong University of Science and Technology(香港科学与技术大学)
专题命中 推理评测 :reasoning(title,abstract);chain-of-thought(abstract);CoT(abstract);分类 cs.LG
机构 * College of Artificial Intelligence, Nanjing University of Aeronautics(人工智能学院,南京航空航天大学) ; School of Electronics Engineering(电子工程学院) ; Computer Science, Peking University(计算机科学,北京大学) ; Theta Health Inc.(Theta健康公司)
专题命中 推理评测 :reasoning(title,abstract);planning(abstract);分类 cs.AI
机构 * Hangzhou Institute for Advanced Study, UCAS(杭州高等研究 institute,UCAS) ; Zhejiang Lab(浙江实验室) ; Zhejiang University(浙江大学)
专题命中 推理评测 :reasoning(title,abstract);分类 cs.AI
Comments Accepted by EMNLP 2025 Main conference
机构 * Indian Institute of Technology Jodhpur(印度理工学院朱罗普尔)
专题命中 推理评测 :reasoning(abstract);分类 cs.CL、cs.AI、cs.LG
机构 * Zhejiang University(浙江大学) ; Shanghai Jiao Tong University(上海交通大学)
专题命中 推理评测 :reasoning(abstract);分类 cs.AI、cs.LG
机构 * Zhejiang University, Zhejiang, China(浙江大学) ; Alibaba Group, Zhejiang, China(阿里巴巴集团) ; Angelalign Technology Inc., Shanghai, China(Angelalign技术有限公司) ; ChohoTech Inc., Hangzhou, China(楚合科技有限公司) ; Zhejiang Key Laboratory of Medical Imaging Artificial Intelligence, Zhejiang, China(浙江省医学影像人工智能重点实验室)
专题命中 推理评测 :reasoning(abstract);分类 cs.CL