大模型推理能力

Decoding on Graphs: Faithful and Sound Reasoning on Knowledge Graphs through Generation of Well-Formed Chains

Kun Li, Tianhua Zhang, Xixin Wu, Hongyin Luo, James Glass, Helen Meng

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

Benchmarking Defeasible Reasoning with Large Language Models -- Initial Experiments and Future Directions

Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou

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

Comments Presented at NeLaMKRR@KR, 2024 (arXiv:2410.05339)

QUITE: Quantifying Uncertainty in Natural Language Text in Bayesian Reasoning Scenarios

Timo Pierre Schrader, Lukas Lange, Simon Razniewski, Annemarie Friedrich

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

Comments accepted at EMNLP 2024 (main)

Harnessing the power of LLMs for normative reasoning in MASs

Bastin Tony Roy Savarimuthu, Surangika Ranathunga, Stephen Cranefield

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

Comments 15 pages, 1 figure, presented at the COINE 2024 workshop at AAMAS 2024 (https://coin-workshop.github.io/coine-2024-auckland/accepted_papers.html). This paper will appear in the post-proceedings of the COINE-2024 workshop

Enhancing SQL Query Generation with Neurosymbolic Reasoning

Henrijs Princis, Cristina David, Alan Mycroft

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

Comments 11 pages, 8 figures

ChatLogic: Integrating Logic Programming with Large Language Models for Multi-Step Reasoning

Zhongsheng Wang, Jiamou Liu, Qiming Bao, Hongfei Rong, Jingfeng Zhang

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

Comments 8 pages, 3 figures. This paper has been accepted by WCCI IJCNN 2024

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