大模型推理能力

Inference of Abstraction for Grounded Predicate Logic

Hiroyuki Kido

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

A short Survey: Exploring knowledge graph-based neural-symbolic system from application perspective

Shenzhe Zhu, Shengxiang Sun

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

Pearce's Characterisation in an Epistemic Domain

Ezgi Iraz Su

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

Comments In Proceedings ICLP 2024, arXiv:2502.08453

Journal ref EPTCS 416, 2025, pp. 201-214

Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration

Flavio Bertini, Alessandro Dal Palù, Federica Zaglio, Francesco Fabiano, Andrea Formisano

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

Comments In Proceedings ICLP 2024, arXiv:2502.08453

Journal ref EPTCS 416, 2025, pp. 139-152

Visual Graph Question Answering with ASP and LLMs for Language Parsing

Jakob Johannes Bauer, Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch

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

Comments In Proceedings ICLP 2024, arXiv:2502.08453. This work was partially funded from the Bosch Center for AI

Journal ref EPTCS 416, 2025, pp. 15-28

On LLM-generated Logic Programs and their Inference Execution Methods

Paul Tarau

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

Comments In Proceedings ICLP 2024, arXiv:2502.08453

Journal ref EPTCS 416, 2025, pp. 1-14

Self-supervised Analogical Learning using Language Models

Ben Zhou, Sarthak Jain, Yi Zhang, Qiang Ning, Shuai Wang, Yassine Benajiba, Dan Roth

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

Whether to trust: the ML leap of faith

Tory Frame, Julian Padget, George Stothart, Elizabeth Coulthard

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

Comments 12 pages, 12 figures

Online inductive learning from answer sets for efficient reinforcement learning exploration

Celeste Veronese, Daniele Meli, Alessandro Farinelli

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

Probabilistic Strategy Logic with Degrees of Observability

Chunyan Mu, Nima Motamed, Natasha Alechina, Brian Logan

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

AI Agent for Education: von Neumann Multi-Agent System Framework

Yuan-Hao Jiang, Ruijia Li, Yizhou Zhou, Changyong Qi, Hanglei Hu, Yuang Wei, Bo Jiang, Yonghe Wu

专题命中 逻辑推理 ：chain-of-thought(abstract)；分类 cs.AI

Comments Conference Proceedings of the 28th Global Chinese Conference on Computers in Education, GCCCE 2024

A Theory of Formalisms for Representing Knowledge

Heng Zhang, Guifei Jiang, Donghui Quan

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

Comments Extended version of a paper to appear in AAAI-25

Logic Query of Thoughts: Guiding Large Language Models to Answer Complex Logic Queries with Knowledge Graphs

Lihui Liu, Zihao Wang, Ruizhong Qiu, Yikun Ban, Eunice Chan, Yangqiu Song, Jingrui He, Hanghang Tong

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

Recommender Systems for Sustainability: Overview and Research Issues

Alexander Felfernig, Manfred Wundara, Thi Ngoc Trang Tran, Seda Polat-Erdeniz, Sebastian Lubos, Merfat El-Mansi, Damian Garber, Viet-Man Le

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

Journal ref Frontiers in Big Data 6 (2023)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives

Anand Balakrishnan, Stefan Jakšić, Edgar A. Aguilar, Dejan Ničković, Jyotirmoy V. Deshmukh

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

Towards Neuro-Symbolic Video Understanding

Minkyu Choi, Harsh Goel, Mohammad Omama, Yunhao Yang, Sahil Shah, Sandeep Chinchali

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

Comments Accepted by The European Conference on Computer Vision (ECCV) 2024

Symbolic Equation Solving via Reinforcement Learning

Lennart Dabelow, Masahito Ueda

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

Comments 15 pages, 5 figures + appendices 21 pages, 2 figures, 16 tables

Journal ref Neurocomputing 613, 128732 (2024)

TabVer: Tabular Fact Verification with Natural Logic

Rami Aly, Andreas Vlachos

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

Comments Accepted to TACL. This is a slightly extended version

Measuring Responsibility in Multi-Agent Systems

Chunyan Mu, Nir Oren

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

AMOR: A Recipe for Building Adaptable Modular Knowledge Agents Through Process Feedback

Jian Guan, Wei Wu, Zujie Wen, Peng Xu, Hongning Wang, Minlie Huang

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

Comments NeurIPS 2024

Dynamic Retrieval Augmented Generation of Ontologies using Artificial Intelligence (DRAGON-AI)

Sabrina Toro, Anna V Anagnostopoulos, Sue Bello, Kai Blumberg, Rhiannon Cameron, Leigh Carmody, Alexander D Diehl, Damion Dooley, William Duncan, Petra Fey, Pascale Gaudet, Nomi L Harris, Marcin Joachimiak, Leila Kiani, Tiago Lubiana, Monica C Munoz-Torres, Shawn O'Neil, David Osumi-Sutherland, Aleix Puig, Justin P Reese, Leonore Reiser, Sofia Robb, Troy Ruemping, James Seager, Eric Sid, Ray Stefancsik, Magalie Weber, Valerie Wood, Melissa A Haendel, Christopher J Mungall

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

Are LLMs Models of Distributional Semantics? A Case Study on Quantifiers

Zhang Enyan, Zewei Wang, Michael A. Lepori, Ellie Pavlick, Helena Aparicio

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

Comments 9 Pages, 3 Figures

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI

André Platzer

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

Converging Paradigms: The Synergy of Symbolic and Connectionist AI in LLM-Empowered Autonomous Agents

Haoyi Xiong, Zhiyuan Wang, Xuhong Li, Jiang Bian, Zeke Xie, Shahid Mumtaz, Anwer Al-Dulaimi, Laura E. Barnes

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

Equitable Access to Justice: Logical LLMs Show Promise

Manuj Kant, Manav Kant, Marzieh Nabi, Preston Carlson, Megan Ma

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

Don't Transform the Code, Code the Transforms: Towards Precise Code Rewriting using LLMs

Chris Cummins, Volker Seeker, Jordi Armengol-Estapé, Aram H. Markosyan, Gabriel Synnaeve, Hugh Leather

专题命中 逻辑推理 ：chain-of-thought(abstract)；分类 cs.LG

Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers

Alberto Alfarano, François Charton, Amaury Hayat

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

Parameter Choice and Neuro-Symbolic Approaches for Deep Domain-Invariant Learning

Marius-Constantin Dinu

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

Comments 177 pages. Doctoral thesis

Neurosymbolic AI approach to Attribution in Large Language Models

Deepa Tilwani, Revathy Venkataramanan, Amit P. Sheth

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

Comments Six pages, three figures, Paper under review

VDebugger: Harnessing Execution Feedback for Debugging Visual Programs

Xueqing Wu, Zongyu Lin, Songyan Zhao, Te-Lin Wu, Pan Lu, Nanyun Peng, Kai-Wei Chang

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

Comments EMNLP 2024 Findings