CommentsThis work will appear in the Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS2022) https://icaps22.icaps-conference.org/papers
Comments19 pages. Keywords: Reasoning, Automated Planning, Item Responses Theory, LLMs as Planner Research Area: NLP and Symbolic Reasoning Research Area Keywords: neurosymbolic, planning in agents, symbolic reasoning Contribution Types: Model analysis & interpretability
机构
*
Computer Science, Fudan University(复旦大学计算机科学系)
;
Institute of Modern Languages and Linguistics, Fudan University(复旦大学现代语言与语言学研究院)
;
Shanghai Innovation Institute(上海创新研究院)
;
Soochow University(苏州大学)
GSAM: A Generalizable and Safe Robotic Framework for Articulated Object Manipulation
GSAM: 一种通用且安全的铰接物体操作机器人框架
Beichen Shao, Mengying Xie, Heng Su, Wanyi Zhang, Mingyan Li, Yan Ding, Fausto Giunchiglia, Chao Chen
机构
*
College of Computer Science, Chongqing University, Chongqing, China(重庆大学计算机学院)
;
Lumos Robotics, China(Lumos机器人中国)
;
Xi'an Jiaotong-Liverpool University, China(西安交通大学利物浦大学)
;
Fudan University, China(复旦大学)
;
Department of Information Engineering and Computer Science, University of Trento, Trento, Italy(特伦托大学信息工程与计算机科学系)
机构
*
The Chinese University of Hong Kong, Sha Tin, NT, Hong Kong(香港中文大学)
;
Université de Montréal, Montréal, Quebéc, Canada(蒙特利尔大学)
;
McGill University, Montréal, Quebéc, Canada(麦吉尔大学)
;
Mila - Quebéc AI Institute, Montréal, Quebéc, Canada(魁北克AI研究院)
;
Huawei Noah’s Ark Lab, Montréal, Quebéc, Canada(华为诺亚实验室)
RetroReasoner: A Reasoning LLM for Strategic Retrosynthesis Prediction
RetroReasoner:一种用于战略 retrosynthesis 预测的推理 LLM
Hanbum Ko, Chanhui Lee, Ye Rin Kim, Rodrigo Hormazabal, Sehui Han, Sungbin Lim, Sungwoong Kim
机构
*
Department of Artificial Intelligence, Korea University(韩国大学人工智能系)
;
Department of Statistics, Korea University(韩国大学统计系)
;
Materials Intelligence Lab, LG AI Research(LG人工智能研究实验室)
Finding the Minimal Parameter Budget for Implicit Reasoning: A Data Complexity Driven Scaling Law for Language Models
寻找隐式推理的最小参数预算:一种基于数据复杂度的语言模型缩放定律
Xinyi Wang, Shawn Tan, Shenbo Xu, Mingyu Jin, William Yang Wang, Rameswar Panda, Yikang Shen
机构
*
University of California, Berkeley(加州大学伯克利分校)
;
University of Cambridge(剑桥大学)
;
University of Washington(华盛顿大学)
;
University of Toronto(多伦多大学)
;
University of Tokyo(东京大学)
机构
*
TJUNLP Lab, College of Intelligence and Computing, Tianjin University(天津大学智能计算学院TJUNLP实验室)
;
Ping An Technology(平安科技)
;
Tübingen AI Center, University of Tübingen(图宾根大学图宾根人工智能中心)
;
Kunming University of Science and Technology(昆明理工大学)
Language-Native Materials Processing Design by Lightly Structured Text Database and Reasoning Large Language Model
基于轻结构化文本数据库和推理大语言模型的自然语言材料加工设计
Yuze Liu, Zhaoyuan Zhang, Xiangsheng Zeng, Yihe Zhang, Leping Yu, Liu Yang, Lejia Wang, Xi Yu
机构
*
State Key Laboratory of Advanced Materials for Intelligent Sensing, Key Laboratory of Organic Integrated Circuit, Ministry of Education & Tianjin Key Laboratory of Molecular Optoelectronic Sciences, Department of Chemistry, School of Science, Tianjin University(智能传感先进材料国家重点实验室、有机集成电路重点实验室、教育部、天津分子光电子科学重点实验室、化学系、天津大学)
;
Language Intelligence Technology Co., Ltd.(语言智能技术有限公司)
;
College of Intelligence and Computing, Tianjin University(智能与计算学院、天津大学)
;
School of Materials and Chemical Engineering, Ningbo University of Technology(材料与化学工程学院、宁波工业大学)
Reasoning on the Manifold: Bidirectional Consistency for Self-Verification in Diffusion Language Models
流形上的推理:扩散语言模型中用于自我验证的双向一致性
Jiaoyang Ruan, Xin Gao, Yinda Chen, Hengyu Zeng, Liang Du, Guanghao Li, Jie Fu, Jian Pu
机构
*
Institute of Science and Technology for Brain-Inspired Intelligence(脑启发智能科学与技术研究院)
;
Fudan University(复旦大学)
;
Shanghai Artificial Intelligence Laboratory(上海人工智能实验室)
;
University of Science and Technology of China(中国科学技术大学)
;
IEG, Tencent Inc.(腾讯IEG)