大模型推理能力

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

Long-range gene expression prediction with token alignment of large language model

Edouardo Honig, Huixin Zhan, Ying Nian Wu, Zijun Frank Zhang

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

Comments 14 pages, 10 figures

Addition is All You Need for Energy-efficient Language Models

Hongyin Luo, Wei Sun

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

Towards Efficient Neuro-Symbolic AI: From Workload Characterization to Hardware Architecture

Zishen Wan, Che-Kai Liu, Hanchen Yang, Ritik Raj, Chaojian Li, Haoran You, Yonggan Fu, Cheng Wan, Sixu Li, Youbin Kim, Ananda Samajdar, Yingyan Celine Lin, Mohamed Ibrahim, Jan M. Rabaey, Tushar Krishna, Arijit Raychowdhury

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

Comments 14 pages, 11 figures, 7 tables; IEEE Transactions on Circuits and Systems for Artificial Intelligence (TCASAI), 2024

The Ability of Large Language Models to Evaluate Constraint-satisfaction in Agent Responses to Open-ended Requests

Lior Madmoni, Amir Zait, Ilia Labzovsky, Danny Karmon

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

Enumerating Minimal Unsatisfiable Cores of LTLf formulas

Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca

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

Simulation-based Scenario Generation for Robust Hybrid AI for Autonomy

Hambisa Keno, Nicholas J. Pioch, Christopher Guagliano, Timothy H. Chung

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

Comments 6 pages, 5 figures, 1 table

Sirius: Contextual Sparsity with Correction for Efficient LLMs

Yang Zhou, Zhuoming Chen, Zhaozhuo Xu, Victoria Lin, Beidi Chen

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

Trust the PRoC3S: Solving Long-Horizon Robotics Problems with LLMs and Constraint Satisfaction

Aidan Curtis, Nishanth Kumar, Jing Cao, Tomás Lozano-Pérez, Leslie Pack Kaelbling

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

Symbolic Working Memory Enhances Language Models for Complex Rule Application

Siyuan Wang, Zhongyu Wei, Yejin Choi, Xiang Ren

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

Differentiable Logic Programming for Distant Supervision

Akihiro Takemura, Katsumi Inoue

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

Comments Updated Figure 1 and fixed the overlapping caption issue. 11 pages including the appendix. To be published in ECAI 2024

Neuro-Symbolic AI for Military Applications

Desta Haileselassie Hagos, Danda B. Rawat

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

Comments Accepted at IEEE Transactions on Artificial Intelligence (TAI)

On scalable oversight with weak LLMs judging strong LLMs

Zachary Kenton, Noah Y. Siegel, János Kramár, Jonah Brown-Cohen, Samuel Albanie, Jannis Bulian, Rishabh Agarwal, David Lindner, Yunhao Tang, Noah D. Goodman, Rohin Shah

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

Comments 15 pages (53 including appendices). V2: minor correction to Figure 3; add Figure A.9 comparing open vs assigned consultancy; add a reference

Semantic Graphs for Syntactic Simplification: A Revisit from the Age of LLM

Peiran Yao, Kostyantyn Guzhva, Denilson Barbosa

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

Comments Accepted at TextGraphs-17 @ ACL 2024

Improving Large Language Models via Fine-grained Reinforcement Learning with Minimum Editing Constraint

Zhipeng Chen, Kun Zhou, Wayne Xin Zhao, Junchen Wan, Fuzheng Zhang, Di Zhang, Ji-Rong Wen

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

Comments 18 pages, Findings of ACL2024

EXPIL: Explanatory Predicate Invention for Learning in Games

Jingyuan Sha, Hikaru Shindo, Quentin Delfosse, Kristian Kersting, Devendra Singh Dhami

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

Comments 9 pages, 2 pages references, 8 figures, 3 tables

Envisioning Outlier Exposure by Large Language Models for Out-of-Distribution Detection

Chentao Cao, Zhun Zhong, Zhanke Zhou, Yang Liu, Tongliang Liu, Bo Han

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

Comments ICML 2024