LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
专题命中 规划推理 :planning(title,abstract);reasoning(abstract);分类 cs.CL、cs.AI
AI 大模型
大模型数学、逻辑、规划、多步推理和测试时计算能力。
专题命中 规划推理 :planning(title,abstract);reasoning(abstract);分类 cs.CL、cs.AI
机构 * University of Pennsylvania(宾夕法尼亚大学)
专题命中 规划推理 :planning(title);reasoning(abstract);分类 cs.AI、cs.LG
Comments Accepted to the Conference on Robot Learning (CoRL) 2025
机构 * Drexel University(德雷塞尔大学) ; University of Pennsylvania(宾夕法尼亚大学) ; Northwestern University(西北大学) ; Johns Hopkins University(约翰霍普金斯大学)
专题命中 规划推理 :planning(title,abstract);分类 cs.CL
机构 * Eindhoven University of Technology(埃因霍温理工大学) ; Lazy Dynamics B.V.(Lazy Dynamics公司) ; ASML(ASML公司)
专题命中 规划推理 :planning(title,abstract);分类 cs.LG
Comments 18 pages
专题命中 规划推理 :reasoning(title,abstract)
机构 * University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校)
专题命中 规划推理 :planning(title);分类 cs.AI、cs.LG
机构 * The Hong Kong University of Science and Technology(香港科学与技术大学) ; BUPT(北京邮电大学) ; Huawei Noah’s Ark Lab(华为诺亚实验室)
专题命中 规划推理 :test-time compute(abstract);verifier(abstract);分类 cs.AI
专题命中 规划推理 :planning(abstract);分类 cs.CL、cs.AI
Comments 7 pages,6 figures, Accepted by lEEE Communications Magazine, Open call
机构 * Information Science, Drexel University, Philadelphia, PA 19104 USA ; Parallax Advanced Research, 4035 Colonel Glenn Hwy, Beavercreek, OH 45431 USA ; Knexus Research, 174 Waterfront Street, Suite 310, National Harbor, Oxon Hill, MD 20745 USA ; Information Science \& Computer Science, Drexel University, Philadelphia, PA 19104 USA
专题命中 规划推理 :reasoning(abstract);分类 cs.AI
Comments 15 pages, 3 figures. Accepted at the Twelfth Annual Conference on Advances in Cognitive Systems (ACS 2025)
机构 * Department of Computer Science(计算机科学系) ; Stony Brook University(史泰尼斯布鲁克大学)
专题命中 规划推理 :planning(abstract);分类 cs.LG
Comments IEEE CAI 2025
Journal ref 2025 IEEE Conference on Artificial Intelligence (CAI), Santa Clara, CA, USA, 2025, pp. 513,518
机构 * Tongyi Lab(通义实验室) ; Alibaba Group(阿里巴巴集团)
专题命中 规划推理 :planning(abstract);分类 cs.CL
Comments An agent system for open-ended deep research
机构 * Beihang University(北京航空航天大学)
专题命中 规划推理 :reasoning(abstract);分类 cs.AI
机构 * New York University(纽约大学)
专题命中 规划推理 :planning(abstract);分类 cs.LG
Comments Project page: https://agenticlearning.ai/midway-network/
机构 * Institute of Health Informatics, UCL, UK(健康信息学研究所,伦敦大学学院,英国) ; School of Electronic Engineering and Computer Science, QMUL, UK(电子工程与计算机科学学院,伦敦大学玛丽王后学院,英国) ; School of Health and Wellbeing, University of Glasgow, UK(健康与福祉学院,格拉斯哥大学,英国) ; The Second Norman Bethune Hospital of Jilin University, China(吉林大学第二诺曼·贝图医院,中国) ; School of Health Sciences, University of East Anglia, UK(健康科学学院,东安格利亚大学,英国)
专题命中 规划推理 :reasoning(abstract);分类 cs.AI
Comments Accepted by Efficient Medical AI 2025 Workshop, MICCAI 2025
机构 * University of Isfahan(伊斯法罕大学) ; Paris-Saclay University(巴黎-萨克雷大学) ; Université Paris-Saclay(巴黎-萨克雷大学)
专题命中 规划推理 :planning(abstract);分类 cs.CL
机构 * Stony Brook University(石溪大学) ; University of California, San Diego(加州大学圣地亚哥分校) ; University of British Columbia(不列颠哥伦比亚大学) ; Zhejiang University(浙江大学) ; University of California, Los Angeles(加州大学洛杉矶分校) ; Case Western Reserve University(凯斯西储大学) ; Fudan University(复旦大学)
专题命中 规划推理 :planning(abstract);分类 cs.LG
机构 * Center for Informatics Science, School of Information Technology and Computer Science, Nile University(信息科学中心,信息科技与计算机科学学院,尼罗大学) ; Graduate School of Information Science, University of Hyogo(信息科学研究生院,兵库大学) ; Advanced Medical Engineering Research Institute, University of Hyogo(先进医学工程研究所,兵库大学)
专题命中 规划推理 :planning(abstract)
Comments Computers in Biology and Medicine (to appear)
Journal ref Computers in Biology and Medicine, 2025