大模型推理能力 - arXivDaily 专题

2410.18582 2024-10-25 eess.SY cs.SY 67%

LLM-Aided Efficient Hardware Design Automation

Kangwei Xu, Ruidi Qiu, Zhuorui Zhao, Grace Li Zhang, Ulf Schlichtmann, Bing Li

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

2410.08037 2024-10-11 cs.LG cs.AI cs.CL cs.MA 67%

Composite Learning Units: Generalized Learning Beyond Parameter Updates to Transform LLMs into Adaptive Reasoners

Santosh Kumar Radha, Oktay Goktas

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

2409.13724 2024-09-24 cs.CL cs.AI cs.LG 67%

Logically Consistent Language Models via Neuro-Symbolic Integration

Diego Calanzone, Stefano Teso, Antonio Vergari

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

2409.11182 2024-09-18 cs.CV 67%

Video Token Sparsification for Efficient Multimodal LLMs in Autonomous Driving

Yunsheng Ma, Amr Abdelraouf, Rohit Gupta, Ziran Wang, Kyungtae Han

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

Comments 10 pages, 3 figures, 4 tables

2407.08150 2024-09-06 cs.CV 67%

Hypergraph Multi-modal Large Language Model: Exploiting EEG and Eye-tracking Modalities to Evaluate Heterogeneous Responses for Video Understanding

Minghui Wu, Chenxu Zhao, Anyang Su, Donglin Di, Tianyu Fu, Da An, Min He, Ya Gao, Meng Ma, Kun Yan, Ping Wang

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

Comments Accepted by ACM MULTIMEDIA 2024

2405.00648 2024-09-04 cs.SE 67%

Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models

Ningke Li, Yuekang Li, Yi Liu, Ling Shi, Kailong Wang, Haoyu Wang

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

Comments 29 pages, 11 figures, 4 tables, to appear in OOPSLA'24 (Vol.8, No.OOPSLA2, Article 336)

2407.15349 2024-07-23 cs.CV 67%

RoadPainter: Points Are Ideal Navigators for Topology transformER

Zhongxing Ma, Shuang Liang, Yongkun Wen, Weixin Lu, Guowei Wan

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

Comments 17 pages, 5 figures, Accepted by ECCV 2024

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

1. 逻辑推理 3033 篇

LLM-Aided Efficient Hardware Design Automation

Composite Learning Units: Generalized Learning Beyond Parameter Updates to Transform LLMs into Adaptive Reasoners

Logically Consistent Language Models via Neuro-Symbolic Integration

Video Token Sparsification for Efficient Multimodal LLMs in Autonomous Driving

Hypergraph Multi-modal Large Language Model: Exploiting EEG and Eye-tracking Modalities to Evaluate Heterogeneous Responses for Video Understanding

Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models

RoadPainter: Points Are Ideal Navigators for Topology transformER

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