大模型推理能力

Self-supervised Analogical Learning using Language Models

Ben Zhou, Sarthak Jain, Yi Zhang, Qiang Ning, Shuai Wang, Yassine Benajiba, Dan Roth

机构 * Arizona State University（亚利桑那州立大学） ； Amazon（亚马逊公司） ； University of Pennsylvania（宾夕法尼亚大学） 纠错

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

Whether to trust: the ML leap of faith

Tory Frame, Julian Padget, George Stothart, Elizabeth Coulthard

机构 * University of Bath（巴斯大学） ； University of Bristol Medical School（布里斯托大学医学院） ； North Bristol NHS Trust（北布里斯托国家医疗服务体系信托基金） 纠错

专题命中 逻辑推理 ：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

机构 * University of Verona（维罗纳大学） 纠错

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

Probabilistic Strategy Logic with Degrees of Observability

Chunyan Mu, Nima Motamed, Natasha Alechina, Brian Logan

机构 * University of Aberdeen（阿伯丁大学） ； Utrecht University（乌得勒支大学） ； Open University Netherlands（荷兰开放大学） 纠错

专题命中 逻辑推理 ：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

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