大模型推理能力

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

Misinforming LLMs: vulnerabilities, challenges and opportunities

Bo Zhou, Daniel Geißler, Paul Lukowicz

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

Guiding and Diversifying LLM-Based Story Generation via Answer Set Programming

Phoebe J. Wang, Max Kreminski

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

Comments Accepted to Wordplay @ ACL 2024

Werewolf Arena: A Case Study in LLM Evaluation via Social Deduction

Suma Bailis, Jane Friedhoff, Feiyang Chen

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

Comments 13 pages, 10 figures

Grounding Language about Belief in a Bayesian Theory-of-Mind

Lance Ying, Tan Zhi-Xuan, Lionel Wong, Vikash Mansinghka, Joshua Tenenbaum

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

Comments Published at CogSci 2024

Learning to Generate All Feasible Actions

Mirco Theile, Daniele Bernardini, Raphael Trumpp, Cristina Piazza, Marco Caccamo, Alberto L. Sangiovanni-Vincentelli

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

LANE: Logic Alignment of Non-tuning Large Language Models and Online Recommendation Systems for Explainable Reason Generation

Hongke Zhao, Songming Zheng, Likang Wu, Bowen Yu, Jing Wang

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

Composition Vision-Language Understanding via Segment and Depth Anything Model

Mingxiao Huo, Pengliang Ji, Haotian Lin, Junchen Liu, Yixiao Wang, Yijun Chen

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

STAR: Constraint LoRA with Dynamic Active Learning for Data-Efficient Fine-Tuning of Large Language Models

Linhai Zhang, Jialong Wu, Deyu Zhou, Guoqiang Xu

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

Comments Accepted by ACL2024(Findings)

SyntaxShap: Syntax-aware Explainability Method for Text Generation

Kenza Amara, Rita Sevastjanova, Mennatallah El-Assady

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

Comments Accepted to ACL 2024

Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba

İlker Işık, Ebru Aydin Gol, Ramazan Gokberk Cinbis

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

Comments 20 pages, 15 figures

Faithful Path Language Modeling for Explainable Recommendation over Knowledge Graph

Giacomo Balloccu, Ludovico Boratto, Christian Cancedda, Gianni Fenu, Mirko Marras

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

Transformers in the Service of Description Logic-based Contexts

Angelos Poulis, Eleni Tsalapati, Manolis Koubarakis

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

Towards Understanding In-Context Learning with Contrastive Demonstrations and Saliency Maps

Fuxiao Liu, Paiheng Xu, Zongxia Li, Yue Feng, Hyemi Song

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

Comments 10 pages, 5 figures