大模型推理能力 - arXivDaily 专题

2406.06610 2024-06-12 cs.CL cs.AI cs.LG 67%

Reinterpreting 'the Company a Word Keeps': Towards Explainable and Ontologically Grounded Language Models

Walid S. Saba

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

Comments 12 pages, 4 figures. arXiv admin note: text overlap with arXiv:2308.14199, arXiv:2306.00017

2405.10316 2024-05-17 cs.CV cs.GR 67%

Analogist: Out-of-the-box Visual In-Context Learning with Image Diffusion Model

Zheng Gu, Shiyuan Yang, Jing Liao, Jing Huo, Yang Gao

专题命中逻辑推理：reasoning(abstract)；logical reasoning(abstract)

Comments Project page: https://analogist2d.github.io

2310.17191 2024-05-07 cs.LG cs.AI cs.CL 67%

How do Language Models Bind Entities in Context?

Jiahai Feng, Jacob Steinhardt

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

2310.11884 2024-05-06 cs.AI cs.CL cs.CV cs.LG cs.NE 67%

From Neural Activations to Concepts: A Survey on Explaining Concepts in Neural Networks

Jae Hee Lee, Sergio Lanza, Stefan Wermter

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

Comments Accepted in Neurosymbolic Artificial Intelligence

2404.18081 2024-05-01 cs.SD cs.AI cs.CL cs.LG cs.MM eess.AS 67%

ComposerX: Multi-Agent Symbolic Music Composition with LLMs

Qixin Deng, Qikai Yang, Ruibin Yuan, Yipeng Huang, Yi Wang, Xubo Liu, Zeyue Tian, Jiahao Pan, Ge Zhang, Hanfeng Lin, Yizhi Li, Yinghao Ma, Jie Fu, Chenghua Lin, Emmanouil Benetos, Wenwu Wang, Guangyu Xia, Wei Xue, Yike Guo

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

2309.02427 2024-03-18 cs.AI cs.CL cs.LG cs.SC 67%

Cognitive Architectures for Language Agents

Theodore R. Sumers, Shunyu Yao, Karthik Narasimhan, Thomas L. Griffiths

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

Comments v3 is TMLR camera ready version. 19 pages of main content, 5 figures. The first two authors contributed equally, order decided by coin flip. A CoALA-based repo of recent work on language agents: https://github.com/ysymyth/awesome-language-agents

2402.18566 2024-02-29 cs.IR 67%

A Categorization of Complexity Classes for Information Retrieval and Synthesis Using Natural Logic

Gregory Coppola

专题命中逻辑推理：reasoning(abstract)；planning(abstract)

2402.12958 2024-02-21 cs.SE 67%

Go Static: Contextualized Logging Statement Generation

Yichen Li, Yintong Huo, Renyi Zhong, Zhihan Jiang, Jinyang Liu, Junjie Huang, Jiazhen Gu, Pinjia He, Michael R. Lyu

专题命中逻辑推理：chain-of-thought(abstract)；CoT(abstract)

Comments This paper was accepted by The ACM International Conference on the Foundations of Software Engineering (FSE 2024)

2305.18342 2024-01-17 cs.LG cs.AI cs.CL cs.CY cs.PL 67%

Neural Task Synthesis for Visual Programming

Victor-Alexandru Pădurean, Georgios Tzannetos, Adish Singla

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

Comments Published in Transactions on Machine Learning Research (TMLR) 2024

2312.16702 2023-12-29 cs.CL cs.AI cs.DB cs.LG 67%

Rethinking Tabular Data Understanding with Large Language Models

Tianyang Liu, Fei Wang, Muhao Chen

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

2310.16035 2023-10-25 cs.CV cs.AI cs.CL cs.LG stat.ML 67%

What's Left? Concept Grounding with Logic-Enhanced Foundation Models

Joy Hsu, Jiayuan Mao, Joshua B. Tenenbaum, Jiajun Wu

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

Comments NeurIPS 2023. First two authors contributed equally. Project page: https://web.stanford.edu/~joycj/projects/left_neurips_2023

2310.01320 2023-10-25 cs.AI cs.CL cs.CY cs.LG cs.MA 67%

Avalon's Game of Thoughts: Battle Against Deception through Recursive Contemplation

Shenzhi Wang, Chang Liu, Zilong Zheng, Siyuan Qi, Shuo Chen, Qisen Yang, Andrew Zhao, Chaofei Wang, Shiji Song, Gao Huang

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

Comments 40 pages

1809.09938 2023-10-12 cs.LO 67%

Logic program proportions

Christian Antić

专题命中逻辑推理：reasoning(abstract)；logical reasoning(abstract)

1912.00512 2023-09-04 cs.AI cs.CL cs.LG 67%

Knowledge Infused Learning (K-IL): Towards Deep Incorporation of Knowledge in Deep Learning

Ugur Kursuncu, Manas Gaur, Amit Sheth

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

Journal ref AAAI Spring Symposium on Combining Machine Learning and Knowledge Engineering in Practice. 1 (2020)

2308.13676 2023-08-29 cs.CL cs.AI cs.LG 67%

Rethinking Language Models as Symbolic Knowledge Graphs

Vishwas Mruthyunjaya, Pouya Pezeshkpour, Estevam Hruschka, Nikita Bhutani

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

2306.03901 2023-06-08 cs.AI cs.CL cs.DB cs.LG 67%

ChatDB: Augmenting LLMs with Databases as Their Symbolic Memory

Chenxu Hu, Jie Fu, Chenzhuang Du, Simian Luo, Junbo Zhao, Hang Zhao

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

2305.13889 2023-05-24 cs.DS 67%

Parameterized Complexity Classification for Interval Constraints

Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov, Marcin Pilipczuk, Roohani Sharma

专题命中逻辑推理：reasoning(abstract)；planning(abstract)

2208.11981 2023-05-10 cs.CL cs.AI cs.LG 67%

On Reality and the Limits of Language Data: Aligning LLMs with Human Norms

Nigel H. Collier, Fangyu Liu, Ehsan Shareghi

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

Comments 9 pages; data available, see https://sites.google.com/site/nhcollier/projects/art

2303.17276 2023-03-31 cs.AI cs.CL cs.HC cs.LG 67%

Humans in Humans Out: On GPT Converging Toward Common Sense in both Success and Failure

Philipp Koralus, Vincent Wang-Maścianica

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

Comments 10 pages

2302.07257 2023-02-15 cs.CV eess.IV 67%

ChatCAD: Interactive Computer-Aided Diagnosis on Medical Image using Large Language Models

Sheng Wang, Zihao Zhao, Xi Ouyang, Qian Wang, Dinggang Shen

专题命中逻辑推理：reasoning(abstract)；logical reasoning(abstract)

2202.12205 2022-12-16 cs.AI cs.CL cs.LG 67%

Is Neuro-Symbolic AI Meeting its Promise in Natural Language Processing? A Structured Review

Kyle Hamilton, Aparna Nayak, Bojan Božić, Luca Longo

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

Comments Survey

Journal ref Semantic Web, vol. Pre-press, no. Pre-press, pp. 1-42, 2022

2202.13758 2022-12-13 cs.CL cs.AI cs.CY cs.LG cs.LO 67%

Logical Fallacy Detection

Zhijing Jin, Abhinav Lalwani, Tejas Vaidhya, Xiaoyu Shen, Yiwen Ding, Zhiheng Lyu, Mrinmaya Sachan, Rada Mihalcea, Bernhard Schölkopf

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

Comments EMNLP 2021 Findings

2107.12079 2021-10-18 cs.CL cs.AI cs.IR cs.LG 67%

An Argumentative Dialogue System for COVID-19 Vaccine Information

Bettina Fazzinga, Andrea Galassi, Paolo Torroni

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

Comments 9 pages, 2 figures, Accepted at CLAR 2021

Journal ref Logic and Argumentation (2021). Lecture Notes in Computer Science, vol 13040

2105.09973 2021-10-01 cs.RO 67%

Mediating between Contact Feasibility and Robustness of Trajectory Optimization through Chance Complementarity Constraints

Luke Drnach, John Z. Zhang, Ye Zhao

专题命中逻辑推理：reasoning(abstract)；planning(abstract)

Comments submitted to Frontiers in Robotics and AI

2003.00330 2021-06-15 cs.AI cs.CL cs.LG cs.LO 67%

Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective

Luis C. Lamb, Artur Garcez, Marco Gori, Marcelo Prates, Pedro Avelar, Moshe Vardi

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

Comments Updated version, draft of accepted IJCAI2020 Survey Paper

1912.13283 2020-11-20 cs.CL cs.AI cs.LG 67%

oLMpics -- On what Language Model Pre-training Captures

Alon Talmor, Yanai Elazar, Yoav Goldberg, Jonathan Berant

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

Comments TACL 2020

2006.06609 2020-11-17 cs.CL cs.AI cs.LG 67%

Leap-Of-Thought: Teaching Pre-Trained Models to Systematically Reason Over Implicit Knowledge

Alon Talmor, Oyvind Tafjord, Peter Clark, Yoav Goldberg, Jonathan Berant

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

Comments Presented as Spotlight at NeurIPS 2020

1907.03950 2019-11-26 cs.AI cs.CL cs.CV cs.LG 67%

Learning by Abstraction: The Neural State Machine

Drew A. Hudson, Christopher D. Manning

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

Comments Published as a conference paper at NeurIPS 2019 (spotlight)

1911.02362 2019-11-11 q-bio.NC 67%

Bayesian Analogical Cybernetics

Adam Safron

专题命中逻辑推理：reasoning(abstract)；logical reasoning(abstract)

1610.03935 2016-10-14 cs.LO 67%

Optimizing Epistemic Model Checking using Conditional Independence

Ron van der Meyden

专题命中逻辑推理：reasoning(abstract)；logical reasoning(abstract)

1. 逻辑推理 3024 篇

Reinterpreting 'the Company a Word Keeps': Towards Explainable and Ontologically Grounded Language Models

Analogist: Out-of-the-box Visual In-Context Learning with Image Diffusion Model

How do Language Models Bind Entities in Context?

From Neural Activations to Concepts: A Survey on Explaining Concepts in Neural Networks

ComposerX: Multi-Agent Symbolic Music Composition with LLMs

Cognitive Architectures for Language Agents

A Categorization of Complexity Classes for Information Retrieval and Synthesis Using Natural Logic

Go Static: Contextualized Logging Statement Generation

Neural Task Synthesis for Visual Programming

Rethinking Tabular Data Understanding with Large Language Models

What's Left? Concept Grounding with Logic-Enhanced Foundation Models

Avalon's Game of Thoughts: Battle Against Deception through Recursive Contemplation

Logic program proportions

Knowledge Infused Learning (K-IL): Towards Deep Incorporation of Knowledge in Deep Learning

Rethinking Language Models as Symbolic Knowledge Graphs

ChatDB: Augmenting LLMs with Databases as Their Symbolic Memory

Parameterized Complexity Classification for Interval Constraints

On Reality and the Limits of Language Data: Aligning LLMs with Human Norms

Humans in Humans Out: On GPT Converging Toward Common Sense in both Success and Failure

ChatCAD: Interactive Computer-Aided Diagnosis on Medical Image using Large Language Models

Is Neuro-Symbolic AI Meeting its Promise in Natural Language Processing? A Structured Review

Logical Fallacy Detection

An Argumentative Dialogue System for COVID-19 Vaccine Information

Mediating between Contact Feasibility and Robustness of Trajectory Optimization through Chance Complementarity Constraints

Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective

oLMpics -- On what Language Model Pre-training Captures

Leap-Of-Thought: Teaching Pre-Trained Models to Systematically Reason Over Implicit Knowledge

Learning by Abstraction: The Neural State Machine

Bayesian Analogical Cybernetics

Optimizing Epistemic Model Checking using Conditional Independence