大模型推理能力 - arXivDaily 专题

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

2002.10149 2020-02-25 cs.AI 70%

Cognitive Argumentation and the Suppression Task

Emmanuelle-Anna Dietz Saldanha, Antonis Kakas

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

2002.06241 2020-02-19 cs.CV cs.LG cs.MA cs.RO 70%

Social-WaGDAT: Interaction-aware Trajectory Prediction via Wasserstein Graph Double-Attention Network

Jiachen Li, Hengbo Ma, Zhihao Zhang, Masayoshi Tomizuka

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

1909.00668 2019-09-15 cs.LG cs.LO stat.ML 70%

Logic and the $2$-Simplicial Transformer

James Clift, Dmitry Doryn, Daniel Murfet, James Wallbridge

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

1902.00120 2019-02-04 cs.AI 70%

Learning to Make Analogies by Contrasting Abstract Relational Structure

Felix Hill, Adam Santoro, David G. T. Barrett, Ari S. Morcos, Timothy Lillicrap

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

1806.10561 2018-06-29 cs.AI 70%

Knowledge Compilation in Multi-Agent Epistemic Logics

Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen

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

1804.10247 2018-04-30 cs.AI 70%

Experimenting with robotic intra-logistics domains

Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son

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

Comments Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018 18 pages, LaTeX, 8 PDF figures (arXiv:YYMM.NNNNN)

1703.08922 2017-07-19 cs.AI cs.LO cs.RO 70%

On Automating the Doctrine of Double Effect

Naveen Sundar Govindarajulu, Selmer Bringsjord

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

Comments 26th International Joint Conference on Artificial Intelligence 2017; Special Track on AI & Autonomy

1702.01601 2017-02-07 cs.AI cs.LO 70%

Exploring the bidimensional space: A dynamic logic point of view

Philippe Balbiani, David Fernández-Duque, Emiliano Lorini

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

1. 逻辑推理 3016 篇

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

Cognitive Argumentation and the Suppression Task

Social-WaGDAT: Interaction-aware Trajectory Prediction via Wasserstein Graph Double-Attention Network

Logic and the $2$-Simplicial Transformer

Learning to Make Analogies by Contrasting Abstract Relational Structure

Knowledge Compilation in Multi-Agent Epistemic Logics

Experimenting with robotic intra-logistics domains

On Automating the Doctrine of Double Effect

Exploring the bidimensional space: A dynamic logic point of view