大模型推理能力

Mutual Understanding between People and Systems via Neurosymbolic AI and Knowledge Graphs

Irene Celino, Mario Scrocca, Agnese Chiatti

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

Comments 26 pages, 13 figures, 1 table; pre-print version of book chapter

Boosting Universal LLM Reward Design through Heuristic Reward Observation Space Evolution

Zen Kit Heng, Zimeng Zhao, Tianhao Wu, Yuanfei Wang, Mingdong Wu, Yangang Wang, Hao Dong

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

Comments 7 pages, 5 figures

Neuro-Symbolic AI in 2024: A Systematic Review

Brandon C. Colelough, William Regli

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

Comments 19 pages

Augmenting deep neural networks with symbolic knowledge: Towards trustworthy and interpretable AI for education

Danial Hooshyar, Roger Azevedo, Yeongwook Yang

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

Cultivating Game Sense for Yourself: Making VLMs Gaming Experts

Wenxuan Lu, Jiangyang He, Zhanqiu Zhang, Yiwen Guo, Tianning Zang

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

Understanding the Logic of Direct Preference Alignment through Logic

Kyle Richardson, Vivek Srikumar, Ashish Sabharwal

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

The Art of Tool Interface Design

Yunnan Wu, Paul Chen, Deshank Baranwal, Jinlong Zhou, Jian Yuan

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

J&H: Evaluating the Robustness of Large Language Models Under Knowledge-Injection Attacks in Legal Domain

Yiran Hu, Huanghai Liu, Qingjing Chen, Ning Zheng, Chong Wang, Yun Liu, Charles L. A. Clarke, Weixing Shen

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

Comments 10 pages, 5 figures

Enhancing Multi-Hop Fact Verification with Structured Knowledge-Augmented Large Language Models

Han Cao, Lingwei Wei, Wei Zhou, Songlin Hu

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

Comments Accepted by AAAI 2025

Benchmarking Chinese Medical LLMs: A Medbench-based Analysis of Performance Gaps and Hierarchical Optimization Strategies

Luyi Jiang, Jiayuan Chen, Lu Lu, Xinwei Peng, Lihao Liu, Junjun He, Jie Xu

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

Performant LLM Agentic Framework for Conversational AI

Alex Casella, Wayne Wang

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

Comments 6 pages, 3 figures

Curiosity-Driven Imagination: Discovering Plan Operators and Learning Associated Policies for Open-World Adaptation

Pierrick Lorang, Hong Lu, Matthias Scheutz

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

Comments 8 pages, 4 figures. Accepted at ICRA 2025

Extracting Symbolic Sequences from Visual Representations via Self-Supervised Learning

Victor Sebastian Martinez Pozos, Ivan Vladimir Meza Ruiz

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

Enhancing Non-English Capabilities of English-Centric Large Language Models through Deep Supervision Fine-Tuning

Wenshuai Huo, Xiaocheng Feng, Yichong Huang, Chengpeng Fu, Baohang Li, Yangfan Ye, Zhirui Zhang, Dandan Tu, Duyu Tang, Yunfei Lu, Hui Wang, Bing Qin

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

Comments Accepted at AAAI 2025

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