大模型推理能力

Unlocking the Potential of Generative AI through Neuro-Symbolic Architectures: Benefits and Limitations

Oualid Bougzime, Samir Jabbar, Christophe Cruz, Frédéric Demoly

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

Comments 54 pages, 7 figures

Stochastic Optimization of Inventory at Large-scale Supply Chains

Zhaoyang Larry Jin, Mehdi Maasoumy, Yimin Liu, Zeshi Zheng, Zizhuo Ren

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

Neuro-Conceptual Artificial Intelligence: Integrating OPM with Deep Learning to Enhance Question Answering Quality

Xin Kang, Veronika Shteingardt, Yuhan Wang, Dov Dori

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

Comments 15 pages, 3 figures,

Journal ref International Conference on Computational Linguistics (COLING), 1-15, Jan. 2025

Neuro-Symbolic Contrastive Learning for Cross-domain Inference

Mingyue Liu, Ryo Ueda, Zhen Wan, Katsumi Inoue, Chris G. Willcocks

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

Comments In Proceedings ICLP 2024, arXiv:2502.08453

Journal ref EPTCS 416, 2025, pp. 78-94

From Few to Many: Self-Improving Many-Shot Reasoners Through Iterative Optimization and Generation

Xingchen Wan, Han Zhou, Ruoxi Sun, Hootan Nakhost, Ke Jiang, Sercan Ö. Arık

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

Comments Expanded version of the ICLR 2025 paper

Few-shot Policy (de)composition in Conversational Question Answering

Kyle Erwin, Guy Axelrod, Maria Chang, Achille Fokoue, Maxwell Crouse, Soham Dan, Tian Gao, Rosario Uceda-Sosa, Ndivhuwo Makondo, Naweed Khan, Alexander Gray

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

Logic Augmented Generation

Aldo Gangemi, Andrea Giovanni Nuzzolese

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

Comments 10 pages, 2 figures

ActPC-Geom: Towards Scalable Online Neural-Symbolic Learning via Accelerating Active Predictive Coding with Information Geometry & Diverse Cognitive Mechanisms

Ben Goertzel

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

A Metasemantic-Metapragmatic Framework for Taxonomizing Multimodal Communicative Alignment

Eugene Yu Ji

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

Comments 34 pages, 1 figure, 3 tables. Draft presented at 2023 ZJU Logic and AI Summit EAI Workshop

Exploiting Hybrid Policy in Reinforcement Learning for Interpretable Temporal Logic Manipulation

Hao Zhang, Hao Wang, Xiucai Huang, Wenrui Chen, Zhen Kan

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

Comments Accepted by IROS 2024. Code:https://github.com/Charlie0257/HyTL

Multi-Agent Path Finding in Continuous Spaces with Projected Diffusion Models

Jinhao Liang, Jacob K. Christopher, Sven Koenig, Ferdinando Fioretto

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

Large Language Models can Learn Rules

Zhaocheng Zhu, Yuan Xue, Xinyun Chen, Denny Zhou, Jian Tang, Dale Schuurmans, Hanjun Dai

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

From Unstructured Data to In-Context Learning: Exploring What Tasks Can Be Learned and When

Kevin Christian Wibisono, Yixin Wang

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

Comments 39 pages

Language Models can Infer Action Semantics for Symbolic Planners from Environment Feedback

Wang Zhu, Ishika Singh, Robin Jia, Jesse Thomason

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

Infant Agent: A Tool-Integrated, Logic-Driven Agent with Cost-Effective API Usage

Bin Lei, Yuchen Li, Yiming Zeng, Tao Ren, Yi Luo, Tianyu Shi, Zitian Gao, Zeyu Hu, Weitai Kang, Qiuwu Chen

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

Can Large Language Models Act as Symbolic Reasoners?

Rob Sullivan, Nelly Elsayed

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

Comments 18 pages, currently under review

Neural Concept Binder

Wolfgang Stammer, Antonia Wüst, David Steinmann, Kristian Kersting

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

CELI: Controller-Embedded Language Model Interactions

Jan-Samuel Wagner, Dave DeCaprio, Abishek Chiffon Muthu Raja, Jonathan M. Holman, Lauren K. Brady, Sky C. Cheung, Hosein Barzekar, Eric Yang, Mark Anthony Martinez, David Soong, Sriram Sridhar, Han Si, Brandon W. Higgs, Hisham Hamadeh, Scott Ogden

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

Comments 26 pages, 2 figures

Explainable Moral Values: a neuro-symbolic approach to value classification

Nicolas Lazzari, Stefano De Giorgis, Aldo Gangemi, Valentina Presutti

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

Comments Published at ESWC24 Satellite Event

Towards Supporting Legal Argumentation with NLP: Is More Data Really All You Need?

T. Y. S. S Santosh, Kevin D. Ashley, Katie Atkinson, Matthias Grabmair

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

Comments Accepted to NLLP Workshop, EMNLP 2024

AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs

Mert Ünsal, Timon Gehr, Martin Vechev

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

Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computing

Wenguan Wang, Yi Yang, Fei Wu

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

Comments PAMI 2024

KAG: Boosting LLMs in Professional Domains via Knowledge Augmented Generation

Lei Liang, Mengshu Sun, Zhengke Gui, Zhongshu Zhu, Zhouyu Jiang, Ling Zhong, Yuan Qu, Peilong Zhao, Zhongpu Bo, Jin Yang, Huaidong Xiong, Lin Yuan, Jun Xu, Zaoyang Wang, Zhiqiang Zhang, Wen Zhang, Huajun Chen, Wenguang Chen, Jun Zhou

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

Comments 33 pages

Discrete, compositional, and symbolic representations through attractor dynamics

Andrew Nam, Eric Elmoznino, Nikolay Malkin, James McClelland, Yoshua Bengio, Guillaume Lajoie

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

Neurosymbolic Conformal Classification

Arthur Ledaguenel, Céline Hudelot, Mostepha Khouadjia

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

Comments 10 pages, 0 figures. arXiv admin note: text overlap with arXiv:2404.08404

Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents

Raven Rothkopf, Hannah Tongxin Zeng, Mark Santolucito

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

Comments 11 pages

SymbolicAI: A framework for logic-based approaches combining generative models and solvers

Marius-Constantin Dinu, Claudiu Leoveanu-Condrei, Markus Holzleitner, Werner Zellinger, Sepp Hochreiter

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

Comments 46 pages, 13 figures, external resources: framework is available at https://github.com/ExtensityAI/symbolicai and benchmark at https://github.com/ExtensityAI/benchmark

Enhancing Systematic Decompositional Natural Language Inference Using Informal Logic

Nathaniel Weir, Kate Sanders, Orion Weller, Shreya Sharma, Dongwei Jiang, Zhengping Jiang, Bhavana Dalvi Mishra, Oyvind Tafjord, Peter Jansen, Peter Clark, Benjamin Van Durme

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

Improving Large Language Model (LLM) fidelity through context-aware grounding: A systematic approach to reliability and veracity

Wrick Talukdar, Anjanava Biswas

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

Comments 14 pages

Journal ref World Journal of Advanced Engineering Technology and Sciences, 2023, 10(2), 283-296

LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations

Shashank Kirtania, Priyanshu Gupta, Arjun Radhakirshna

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