大模型推理能力 - arXivDaily 专题

2402.13231 2024-07-09 cs.CL cs.CY 70%

Investigating Cultural Alignment of Large Language Models

Badr AlKhamissi, Muhammad ElNokrashy, Mai AlKhamissi, Mona Diab

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

Comments ACL 2024 (Main)

2402.11442 2024-06-24 cs.CL 70%

Can LLMs Reason with Rules? Logic Scaffolding for Stress-Testing and Improving LLMs

Siyuan Wang, Zhongyu Wei, Yejin Choi, Xiang Ren

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

Comments Accepted as a long paper to ACL 2024 Main

2406.10958 2024-06-19 math.OC cs.CL cs.MA 70%

City-LEO: Toward Transparent City Management Using LLM with End-to-End Optimization

Zihao Jiao, Mengyi Sha, Haoyu Zhang, Xinyu Jiang, Wei Qi

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

Comments 26 pages, 8 figures, 5 tables

2305.13718 2024-06-18 cs.CL 70%

Exploring Self-supervised Logic-enhanced Training for Large Language Models

Fangkai Jiao, Zhiyang Teng, Bosheng Ding, Zhengyuan Liu, Nancy F. Chen, Shafiq Joty

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

Comments 16 pages, NAACL 2024

2406.05494 2024-06-11 cs.CL 70%

Investigating and Addressing Hallucinations of LLMs in Tasks Involving Negation

Neeraj Varshney, Satyam Raj, Venkatesh Mishra, Agneet Chatterjee, Ritika Sarkar, Amir Saeidi, Chitta Baral

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

2312.07104 2024-06-07 cs.AI cs.PL 70%

SGLang: Efficient Execution of Structured Language Model Programs

Lianmin Zheng, Liangsheng Yin, Zhiqiang Xie, Chuyue Sun, Jeff Huang, Cody Hao Yu, Shiyi Cao, Christos Kozyrakis, Ion Stoica, Joseph E. Gonzalez, Clark Barrett, Ying Sheng

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

2311.09832 2024-06-07 cs.CL 70%

WatME: Towards Lossless Watermarking Through Lexical Redundancy

Liang Chen, Yatao Bian, Yang Deng, Deng Cai, Shuaiyi Li, Peilin Zhao, Kam-fai Wong

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

Comments Accepted to ACL 2024 main conference

2406.00938 2024-06-04 cs.CR cs.AI cs.SC 70%

A Synergistic Approach In Network Intrusion Detection By Neurosymbolic AI

Alice Bizzarri, Chung-En Yu, Brian Jalaian, Fabrizio Riguzzi, Nathaniel D. Bastian

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

2310.03686 2024-04-04 cs.CL 70%

DecoderLens: Layerwise Interpretation of Encoder-Decoder Transformers

Anna Langedijk, Hosein Mohebbi, Gabriele Sarti, Willem Zuidema, Jaap Jumelet

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

Comments Accepted to Findings of NAACL 2024

2404.00141 2024-04-02 cs.CL cs.SI 70%

Classifying Conspiratorial Narratives At Scale: False Alarms and Erroneous Connections

Ahmad Diab, Rr. Nefriana, Yu-Ru Lin

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

Comments 12 pages, 6 tables, 1 figure, conference ICWSM_24

2403.15504 2024-03-26 cs.AI cs.MA 70%

SymboSLAM: Semantic Map Generation in a Multi-Agent System

Brandon Curtis Colelough

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

Comments 14 pages, 11 figures

2403.13741 2024-03-21 cs.MA cs.AI cs.LO 70%

Hyper Strategy Logic

Raven Beutner, Bernd Finkbeiner

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

Comments AAMAS 2024

2403.02933 2024-03-06 cs.AI cs.LO 70%

Fuzzy Datalog$^\exists$ over Arbitrary t-Norms

Matthias Lanzinger, Stefano Sferrazza, Przemysław A. Wałęga, Georg Gottlob

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

2403.00806 2024-03-05 cs.IR cs.CE cs.CL cs.CV 70%

Enhanced User Interaction in Operating Systems through Machine Learning Language Models

Chenwei Zhang, Wenran Lu, Chunhe Ni, Hongbo Wang, Jiang Wu

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

2402.13440 2024-02-22 cs.AI cs.NE 70%

A Neuro-Symbolic Approach to Multi-Agent RL for Interpretability and Probabilistic Decision Making

Chitra Subramanian, Miao Liu, Naweed Khan, Jonathan Lenchner, Aporva Amarnath, Sarathkrishna Swaminathan, Ryan Riegel, Alexander Gray

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

2310.05450 2024-01-02 cs.CL 70%

Empower Nested Boolean Logic via Self-Supervised Curriculum Learning

Hongqiu Wu, Linfeng Liu, Hai Zhao, Min Zhang

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

Comments Accepted by EMNLP2023

2312.13557 2023-12-22 cs.IR cs.AI 70%

Empowering Few-Shot Recommender Systems with Large Language Models -- Enhanced Representations

Zhoumeng Wang

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

Comments 10 pages

2309.09919 2023-11-29 cs.RO cs.AI cs.FL 70%

Plug in the Safety Chip: Enforcing Constraints for LLM-driven Robot Agents

Ziyi Yang, Shreyas S. Raman, Ankit Shah, Stefanie Tellex

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

2305.17262 2023-10-24 cs.CV cs.AI 70%

Im-Promptu: In-Context Composition from Image Prompts

Bhishma Dedhia, Michael Chang, Jake C. Snell, Thomas L. Griffiths, Niraj K. Jha

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

2305.16426 2023-10-24 cs.CL 70%

Not wacky vs. definitely wacky: A study of scalar adverbs in pretrained language models

Isabelle Lorge, Janet Pierrehumbert

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

Comments Published in BlackBoxNLP workshop, EMNLP 2023

2309.10982 2023-09-21 cs.AI 70%

Is GPT4 a Good Trader?

Bingzhe Wu

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

2309.05936 2023-09-13 cs.CL 70%

Do PLMs Know and Understand Ontological Knowledge?

Weiqi Wu, Chengyue Jiang, Yong Jiang, Pengjun Xie, Kewei Tu

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

Comments Accepted by ACL 2023 (Outstanding Paper Award)

2309.03667 2023-09-11 cs.CL 70%

Exploring an LM to generate Prolog Predicates from Mathematics Questions

Xiaocheng Yang, Yik-Cheung Tam

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

Comments 6 pages, 3 figures

2305.17518 2023-05-30 cs.AI cs.CY 70%

Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks

Alperen Tercan, Ahana Ghosh, Hasan Ferit Eniser, Maria Christakis, Adish Singla

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

2305.14507 2023-05-25 cs.CL 70%

Deduction under Perturbed Evidence: Probing Student Simulation Capabilities of Large Language Models

Shashank Sonkar, Richard G. Baraniuk

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

2109.01634 2023-01-10 cs.AI 70%

AI Descartes: Combining Data and Theory for Derivable Scientific Discovery

Cristina Cornelio, Sanjeeb Dash, Vernon Austel, Tyler Josephson, Joao Goncalves, Kenneth Clarkson, Nimrod Megiddo, Bachir El Khadir, Lior Horesh

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

2212.08681 2022-12-20 cs.AI 70%

Plansformer: Generating Symbolic Plans using Transformers

Vishal Pallagani, Bharath Muppasani, Keerthiram Murugesan, Francesca Rossi, Lior Horesh, Biplav Srivastava, Francesco Fabiano, Andrea Loreggia

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

Comments 44 pages including supplementary material

2211.00478 2022-11-02 cs.AI cs.CV 70%

Understanding the Unforeseen via the Intentional Stance

Stephanie Stacy, Alfredo Gabaldon, John Karigiannis, James Kubrich, Peter Tu

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

2203.10557 2022-10-24 cs.CL 70%

A Neural-Symbolic Approach to Natural Language Understanding

Zhixuan Liu, Zihao Wang, Yuan Lin, Hang Li

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

2103.07766 2021-06-25 cs.CL 70%

Context Transformer with Stacked Pointer Networks for Conversational Question Answering over Knowledge Graphs

Joan Plepi, Endri Kacupaj, Kuldeep Singh, Harsh Thakkar, Jens Lehmann

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

Comments 18th Extended Semantic Web Conference 2021 (ESWC'2021) - Research Track

1. 逻辑推理 3033 篇

Investigating Cultural Alignment of Large Language Models

Can LLMs Reason with Rules? Logic Scaffolding for Stress-Testing and Improving LLMs

City-LEO: Toward Transparent City Management Using LLM with End-to-End Optimization

Exploring Self-supervised Logic-enhanced Training for Large Language Models

Investigating and Addressing Hallucinations of LLMs in Tasks Involving Negation

SGLang: Efficient Execution of Structured Language Model Programs

WatME: Towards Lossless Watermarking Through Lexical Redundancy

A Synergistic Approach In Network Intrusion Detection By Neurosymbolic AI

DecoderLens: Layerwise Interpretation of Encoder-Decoder Transformers

Classifying Conspiratorial Narratives At Scale: False Alarms and Erroneous Connections

SymboSLAM: Semantic Map Generation in a Multi-Agent System

Hyper Strategy Logic

Fuzzy Datalog$^\exists$ over Arbitrary t-Norms

Enhanced User Interaction in Operating Systems through Machine Learning Language Models

A Neuro-Symbolic Approach to Multi-Agent RL for Interpretability and Probabilistic Decision Making

Empower Nested Boolean Logic via Self-Supervised Curriculum Learning

Empowering Few-Shot Recommender Systems with Large Language Models -- Enhanced Representations

Plug in the Safety Chip: Enforcing Constraints for LLM-driven Robot Agents

Im-Promptu: In-Context Composition from Image Prompts

Not wacky vs. definitely wacky: A study of scalar adverbs in pretrained language models

Is GPT4 a Good Trader?

Do PLMs Know and Understand Ontological Knowledge?

Exploring an LM to generate Prolog Predicates from Mathematics Questions

Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks

Deduction under Perturbed Evidence: Probing Student Simulation Capabilities of Large Language Models

AI Descartes: Combining Data and Theory for Derivable Scientific Discovery

Plansformer: Generating Symbolic Plans using Transformers

Understanding the Unforeseen via the Intentional Stance

A Neural-Symbolic Approach to Natural Language Understanding

Context Transformer with Stacked Pointer Networks for Conversational Question Answering over Knowledge Graphs