LIMO: Less is More for Reasoning
机构 * Shanghai Jiao Tong University(上海交通大学) ; SII-GAIR ; Fudan University(复旦大学) ; The Hong Kong Polytechnic University(香港理工大学)
专题命中 数学推理 :reasoning(title,abstract);分类 cs.CL、cs.AI
Comments COLM 2025
AI 大模型
大模型数学、逻辑、规划、多步推理和测试时计算能力。
机构 * Shanghai Jiao Tong University(上海交通大学) ; SII-GAIR ; Fudan University(复旦大学) ; The Hong Kong Polytechnic University(香港理工大学)
专题命中 数学推理 :reasoning(title,abstract);分类 cs.CL、cs.AI
Comments COLM 2025
专题命中 数学推理 :reasoning(title,abstract);分类 cs.CL
专题命中 数学推理 :reasoning(abstract);chain-of-thought(abstract);CoT(abstract);分类 cs.CL
Comments 32 pages, 5 figures
机构 * Heinrich Heine Universität(海因里希·海因大学)
专题命中 数学推理 :reasoning(abstract);chain-of-thought(abstract);分类 cs.CL、cs.AI
机构 * Meituan(美团)
专题命中 数学推理 :reasoning(abstract);分类 cs.CL
Comments Work In Progress
专题命中 数学推理 :reasoning(abstract);分类 cs.AI
机构 * Center for Artificial Intelligence in Public Health Research (ZKI-PH), Robert Koch-Institut, Nordufer 20, Berlin, 13353, Germany(公共健康人工智能研究中心(ZKI-PH)、罗伯特· Koch研究所) ; Department of Mathematics and Computer Science, Freie Universität Berlin, Arnimallee 14, Berlin, 14195, Germany(数学与计算机科学系、柏林自由大学)
专题命中 代码与定理证明 :reasoning(abstract);分类 cs.AI
Comments Preprint. Under review
专题命中 代码与定理证明 :reasoning(abstract);分类 cs.AI
Comments 32 pages, 4 figures. Includes 2 Appendices containing SynLang v1.2.0 protocol specification, and formal BNF grammar
机构 * Department of Computer Science and Leuven.AI KU Leuven Belgium(比利时列日大学计算机科学系) ; Department of Computing Imperial College London UK(伦敦帝国学院计算机系)
专题命中 逻辑推理 :reasoning(abstract,comments);分类 cs.AI
Comments 19th Conference on Neurosymbolic Learning and Reasoning
专题命中 规划推理 :planning(title,abstract);分类 cs.AI
机构 * ETH Zürich, Switzerland(苏黎世联邦理工学院) ; Google Research, US(谷歌研究院)
专题命中 规划推理 :planning(abstract);分类 cs.CL、cs.AI、cs.LG
Comments ICML 2024
机构 * University of León(莱昂大学)
专题命中 规划推理 :reasoning(abstract);planning(abstract)
Comments 9 pages, 6 figures, 2 tables, Submitted to ROBOT 2025 (8th Iberian Robotics Conference)
机构 * Shanghai Jiao Tong University(上海交通大学) ; The Hong Kong University of Science and Technology(香港科技大学) ; University of Liverpool(利物浦大学) ; University of California Berkeley(加州大学伯克利分校) ; Shanghai Innovation Institute(上海创新研究院) ; University of California Davis(加州大学戴维斯分校) ; Virginia Tech(弗吉尼亚理工大学) ; University College London(伦敦大学学院)
专题命中 规划推理 :planning(abstract);分类 cs.AI、cs.LG
机构 * Department of Mechanical and Aerospace Engineering, University at Buffalo(机械与航空航天工程系,布法罗大学) ; Department of Computer Science and Engineering, University at Buffalo(计算机科学与工程系,布法罗大学)
专题命中 规划推理 :planning(abstract);分类 cs.AI、cs.LG
Comments Accepted for presentation in proceedings of IEEE CASE 2025
机构 * Rensselaer Polytechnic Institute(拉特加大学) ; Shenzhen University(深圳大学) ; University of California, Los Angeles(加州大学洛杉矶分校) ; NEC laboratories America(NEC美国实验室) ; California Institute of Technology(加州理工学院)
专题命中 规划推理 :planning(abstract);分类 cs.CL、cs.AI
Comments website: https://llm-strategist.github.io
专题命中 规划推理 :planning(abstract);分类 cs.AI
Comments Forthcoming chapter in AI in Supply Chains: Perspectives from Global Thought Leaders, edited by Maxime C. Cohen and Tinglong Dai, and part of the Springer Series in Supply Chain Management (edited by Prof. Chris Tang)
机构 * National Institute of Technology, Durgapur, India(印度达格apur国立理工学院) ; University of Otago, New Zealand(新西兰奥塔哥大学) ; IRIT, CNRS, Toulouse University, France(法国图卢兹大学IRIT与CNRS)
专题命中 规划推理 :planning(abstract);分类 cs.CL
Comments 17 pages, 5 figures, 3 tables Accepted for presentation as a full paper at the COINE 2025 workshop at AAMAS 2025 see https://coin-workshop.github.io/coine-2025-detroit/accepted_for_presentation.html
专题命中 规划推理 :planning(abstract);分类 cs.AI
Comments 20 pages
专题命中 规划推理 :planning(abstract);分类 cs.LG
Comments 19 pages, 5 figures
机构 * Delft University of Technology(代尔夫特理工大学)
专题命中 规划推理 :planning(abstract)
Comments Manuscript under review
机构 * Great Bay University(大湾大学) ; Harbin Institute of Technology , Shenzhen(哈尔滨工业大学(深圳))
专题命中 视觉空间推理 :reasoning(abstract)
专题命中 视觉空间推理 :reasoning(abstract)
Comments Homepage: https://sites.google.com/view/bang7355608
机构 * University of Science and Technology of China(中国科学技术大学) ; Nanyang Technological University(南洋理工大学) ; Hong Kong University of Science and Technology(香港科学理工大学) ; University of Helsinki(赫尔辛基大学) ; Aarhus University(奥胡斯大学)
专题命中 视觉空间推理 :planning(abstract)
Comments Extended version of ECCV 2024 paper "DreamScene"
专题命中 复杂问题求解 :reasoning(title);planning(abstract);分类 cs.AI、cs.LG
Comments Accepted by IEEE JSAC. This work has been submitted to the IEEE for possible publication
机构 * Department of Computer Science University of Bari Aldo Moro(计算机科学系巴里大学Aldo Moro)
专题命中 复杂问题求解 :reasoning(title,abstract)
机构 * Graduate Institute of Communication Engineering, National Taiwan University(台湾大学通信工程研究所) ; NVIDIA(英伟达)
专题命中 复杂问题求解 :reasoning(abstract);chain-of-thought(abstract);分类 cs.CL
Comments Accepted by ICASSP 2025
专题命中 复杂问题求解 :reasoning(abstract);分类 cs.AI
机构 * Baidu Inc.(百度公司)
专题命中 推理评测 :reasoning(title,abstract);chain-of-thought(abstract);CoT(abstract)
机构 * University of Washington(华盛顿大学) ; University of Wisconsin-Madison(威斯康星大学麦迪逊分校) ; Air Mail and Cartoon Collections(航空邮报与漫画收藏)
专题命中 推理评测 :reasoning(title,abstract);分类 cs.CL、cs.AI
机构 * Huawei, France(华为,法国)
专题命中 推理评测 :reasoning(title,abstract);分类 cs.AI