大模型推理能力

A Unified Temporal Knowledge Graph Reasoning Model Towards Interpolation and Extrapolation

Kai Chen, Ye Wang, Yitong Li, Aiping Li, Han Yu, Xin Song

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI

Comments To appear in ACL 2024 main conference

Towards Dialogues for Joint Human-AI Reasoning and Value Alignment

Elfia Bezou-Vrakatseli, Oana Cocarascu, Sanjay Modgil

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI

Conceptual and Unbiased Reasoning in Language Models

Ben Zhou, Hongming Zhang, Sihao Chen, Dian Yu, Hongwei Wang, Baolin Peng, Dan Roth, Dong Yu

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL

Comments Preprint under review

LLMSense: Harnessing LLMs for High-level Reasoning Over Spatiotemporal Sensor Traces

Xiaomin Ouyang, Mani Srivastava

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI

Comments 6 pages

Natural Language Embedded Programs for Hybrid Language Symbolic Reasoning

Tianhua Zhang, Jiaxin Ge, Hongyin Luo, Yung-Sung Chuang, Mingye Gao, Yuan Gong, Xixin Wu, Yoon Kim, Helen Meng, James Glass

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL

Comments NAACL 2024

Reasoning over the Behaviour of Objects in Video-Clips for Adverb-Type Recognition

Amrit Diggavi Seshadri, Alessandra Russo

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI

Heuristic Reasoning in AI: Instrumental Use and Mimetic Absorption

Anirban Mukherjee, Hannah Hanwen Chang

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI

Chain of Logic: Rule-Based Reasoning with Large Language Models

Sergio Servantez, Joe Barrow, Kristian Hammond, Rajiv Jain

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL

Zero-shot Sequential Neuro-symbolic Reasoning for Automatically Generating Architecture Schematic Designs

Milin Kodnongbua, Lawrence H. Curtis, Adriana Schulz

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI

Enabling High-Level Machine Reasoning with Cognitive Neuro-Symbolic Systems

Alessandro Oltramari

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI

Pragmatic Reasoning Unlocks Quantifier Semantics for Foundation Models

Yiyuan Li, Rakesh R. Menon, Sayan Ghosh, Shashank Srivastava

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI

Comments EMNLP 2023

Graph Agent: Explicit Reasoning Agent for Graphs

Qinyong Wang, Zhenxiang Gao, Rong Xu

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI

Defeasible Reasoning with Knowledge Graphs

Dave Raggett

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI

Comments Accepted for: Knowledge Graph and Semantic Web Conference (KGSWC-2023), 13-15 September, 2023, Zaragoza, Spain

Coupling Symbolic Reasoning with Language Modeling for Efficient Longitudinal Understanding of Unstructured Electronic Medical Records

Shivani Shekhar, Simran Tiwari, T. C. Rensink, Ramy Eskander, Wael Salloum

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL

Learning Temporally Extended Skills in Continuous Domains as Symbolic Actions for Planning

Jan Achterhold, Markus Krimmel, Joerg Stueckler

专题命中 逻辑推理 ：planning(title,abstract)；分类 cs.LG

Comments Project website (including video) is available at https://seads.is.tue.mpg.de/. (v2) Accepted for publication at the 6th Conference on Robot Learning (CoRL) 2022, Auckland, New Zealand. (v3) Added details on checkpointing (S.8.1), with references on p.7, p.8, p.21 to clarify number of env. steps of reported results

Structure Guided Multi-modal Pre-trained Transformer for Knowledge Graph Reasoning

Ke Liang, Sihang Zhou, Yue Liu, Lingyuan Meng, Meng Liu, Xinwang Liu

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI

Comments This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessed

Generating Symbolic Reasoning Problems with Transformer GANs

Jens U. Kreber, Christopher Hahn

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.LG

Large Language Models are Versatile Decomposers: Decompose Evidence and Questions for Table-based Reasoning

Yunhu Ye, Binyuan Hui, Min Yang, Binhua Li, Fei Huang, Yongbin Li

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL

Comments SIGIR 2023

Using Language Models For Knowledge Acquisition in Natural Language Reasoning Problems

Fangzhen Lin, Ziyi Shou, Chengcai Chen

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI

Neuro-symbolic Commonsense Social Reasoning

David Chanin, Anthony Hunter

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI

Semantics-Native Communication with Contextual Reasoning

Hyowoon Seo, Jihong Park, Mehdi Bennis, Mérouane Debbah

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.LG

Comments 18 pages, 16 figures, in IEEE Transactions on Cognitive Communications and Networking

Improving Chess Commentaries by Combining Language Models with Symbolic Reasoning Engines

Andrew Lee, David Wu, Emily Dinan, Mike Lewis

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL

ConvFinQA: Exploring the Chain of Numerical Reasoning in Conversational Finance Question Answering

Zhiyu Chen, Shiyang Li, Charese Smiley, Zhiqiang Ma, Sameena Shah, William Yang Wang

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL

Comments EMNLP 2022

Value-based Practical Reasoning: Modal Logic + Argumentation

Jieting Luo, Beishui Liao, Dov Gabbay

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI

Online Grounding of Symbolic Planning Domains in Unknown Environments

Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso

专题命中 逻辑推理 ：planning(title,abstract)；分类 cs.AI

Expressivity of Planning with Horn Description Logic Ontologies (Technical Report)

Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz

专题命中 逻辑推理 ：planning(title,abstract)；分类 cs.AI

Comments 16 pages with appendix

Deep Algorithmic Question Answering: Towards a Compositionally Hybrid AI for Algorithmic Reasoning

Kwabena Nuamah

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI

Towards AI Logic for Social Reasoning

Huimin Dong, Réka Markovich, Leendert van der Torre

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI

Journal ref Journal of Zhejiang University, Vol. 5, No. 50 (2020): 31-50

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming

Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI

Comments Under consideration in Theory and Practice of Logic Programming (TPLP)

AR-LSAT: Investigating Analytical Reasoning of Text

Wanjun Zhong, Siyuan Wang, Duyu Tang, Zenan Xu, Daya Guo, Jiahai Wang, Jian Yin, Ming Zhou, Nan Duan

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL

Comments 13 pages, 5 figures