大模型推理能力

Can an Easy-to-Hard Curriculum Make Reasoning Emerge in Small Language Models? Evidence from a Four-Stage Curriculum on GPT-2

Xiang Fu

机构 * Faculty of Computing and Data Sciences, Boston University（计算与数据科学学院，波士顿大学） 纠错

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

Reasoning Under Threat: Symbolic and Neural Techniques for Cybersecurity Verification

Sarah Veronica

机构 * Sarah Veronica（独立研究者） 纠错

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

KERAIA: An Adaptive and Explainable Framework for Dynamic Knowledge Representation and Reasoning

Stephen Richard Varey, Alessandro Di Stefano, The Anh Han

机构 * Teesside University（泰赛大学） 纠错

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

Comments 22 pages

Learning Type-Generalized Actions for Symbolic Planning

Daniel Tanneberg, Michael Gienger

机构 * Honda Research Institute EU（本田欧洲研究院） 纠错

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

Comments IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) 2023

Look Before You Decide: Prompting Active Deduction of MLLMs for Assumptive Reasoning

Yian Li, Wentao Tian, Yang Jiao, Jingjing Chen, Tianwen Qian, Bin Zhu, Na Zhao, Yu-Gang Jiang

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

GSCE: A Prompt Framework with Enhanced Reasoning for Reliable LLM-driven Drone Control

Wenhao Wang, Yanyan Li, Long Jiao, Jiawei Yuan

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

Comments 8 pages

SymDQN: Symbolic Knowledge and Reasoning in Neural Network-based Reinforcement Learning

Ivo Amador, Nina Gierasimczuk

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

Comments 8 pages, 8 figures

FReM: A Flexible Reasoning Mechanism for Balancing Quick and Slow Thinking in Long-Context Question Answering

Zhengyi Zhao, Shubo Zhang, Zezhong Wang, Bin Liang, Binyang Li, Kam-Fai Wong

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

AlphaSpace: Enabling Robotic Actions through Semantic Tokenization and Symbolic Reasoning

Alan Dao, Dinh Bach Vu, Bui Quang Huy

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

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning

Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma

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

Comments Published as a conference paper at ICLR 2025. Code is available at https://github.com/Lizn-zn/NeqLIPS/

HYBRIDMIND: Meta Selection of Natural Language and Symbolic Language for Enhanced LLM Reasoning

Simeng Han, Tianyu Liu, Chuhan Li, Xuyuan Xiong, Arman Cohan

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

Towards Robust Legal Reasoning: Harnessing Logical LLMs in Law

Manuj Kant, Sareh Nabi, Manav Kant, Roland Scharrer, Megan Ma, Marzieh Nabi

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

Detecting LLM Fact-conflicting Hallucinations Enhanced by Temporal-logic-based Reasoning

Ningke Li, Yahui Song, Kailong Wang, Yuekang Li, Ling Shi, Yi Liu, Haoyu Wang

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

Comments 16 pages, under review. arXiv admin note: substantial text overlap with arXiv:2405.00648

Neural-Symbolic Collaborative Distillation: Advancing Small Language Models for Complex Reasoning Tasks

Huanxuan Liao, Shizhu He, Yao Xu, Yuanzhe Zhang, Kang Liu, Jun Zhao

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

Comments Accepted to AAAI 2025

SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning

Magdalena Wysocka, Danilo Carvalho, Oskar Wysocki, Marco Valentino, Andre Freitas

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

Planning with affordances: Integrating learned affordance models and symbolic planning

Rajesh Mangannavar

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

Comments 10 pages, 2 figures

SymBa: Symbolic Backward Chaining for Structured Natural Language Reasoning

Jinu Lee, Wonseok Hwang

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

Comments 17 pages (8 pages for main text),11 figures

Systematic Abductive Reasoning via Diverse Relation Representations in Vector-symbolic Architecture

Zhong-Hua Sun, Ru-Yuan Zhang, Zonglei Zhen, Da-Hui Wang, Yong-Jie Li, Xiaohong Wan, Hongzhi You

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

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey

Lauren Nicole DeLong, Ramon Fernández Mir, Jacques D. Fleuriot

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

Comments 21 pages, 6 figures, 2 tables, currently under review. Corresponding GitHub page here: https://github.com/NeSymGraphs. Revised in February 2024 according to major revisions, again in May 2024 according to minor revisions

Large Language Model-Enhanced Symbolic Reasoning for Knowledge Base Completion

Qiyuan He, Jianfei Yu, Wenya Wang

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

Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems

Chunyan Mu, Muhammad Najib, Nir Oren

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

Neural-Symbolic Reasoning over Knowledge Graphs: A Survey from a Query Perspective

Lihui Liu, Zihao Wang, Hanghang Tong

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

Abductive Symbolic Solver on Abstraction and Reasoning Corpus

Mintaek Lim, Seokki Lee, Liyew Woletemaryam Abitew, Sundong Kim

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

Comments Presented at IJCAI 2024 LNSAI Workshop

Exploring Performance Contrasts in TableQA: Step-by-Step Reasoning Boosts Bigger Language Models, Limits Smaller Language Models

Haoyan Yang, Yixuan Wang, Keyue Tong, Hongjin Zhu, Yuanxin Zhang

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

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