symbolic reasoning

184 papers

Explore in graph

Also known as

FOL

Co-occurring keywords

large language model (12755) neural network (6616) logical reasoning (298) knowledge graph (1795) knowledge representation (298) first-order logic (168) semantic parsing (955) knowledge base (801) in-context learning (1369) natural language understanding (845)

Papers

NormTab: Improving Symbolic Reasoning in LLMs Through Tabular Data Normalization EMNLP 2024

Symbolic Reasoning Methods for AI Planning AAAI 2024

ConstraintChecker: A Plugin for Large Language Models to Reason on Commonsense Knowledge Bases EACL 2024

SymKGQA: Few-Shot Knowledge Graph Question Answering via Symbolic Program Generation and Execution ACL 2024

To the Globe (TTG): Towards Language-Driven Guaranteed Travel Planning EMNLP 2024

A Mechanistic Analysis of a Transformer Trained on a Symbolic Multi-Step Reasoning Task ACL 2024

A Little of That Human Touch: Achieving Human-Centric Explainable AI via Argumentation IJCAI 2024

Large Language Models Are Neurosymbolic Reasoners AAAI 2024

Towards Supporting Legal Argumentation with NLP: Is More Data Really All You Need? EMNLP 2024

PREGO: Online Mistake Detection in PRocedural EGOcentric Videos CVPR 2024

CHRONOS: A Schema-Based Event Understanding and Prediction System AAAI 2024

Faithful Logical Reasoning via Symbolic Chain-of-Thought ACL 2024

A Walsh Hadamard Derived Linear Vector Symbolic Architecture NIPS 2024

Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming ACL 2023

GeoDRL: A Self-Learning Framework for Geometry Problem Solving using Reinforcement Learning in Deductive Reasoning ACL 2023

SORTIE: Dependency-Aware Symbolic Reasoning for Logical Data-to-text Generation ACL 2023

Reasoning in Large Language Models Through Symbolic Math Word Problems ACL 2023

SConE: Simplified Cone Embeddings with Symbolic Operators for Complex Logical Queries ACL 2023

Do Deep Neural Networks Capture Compositionality in Arithmetic Reasoning? EACL 2023

Symbol-LLM: Leverage Language Models for Symbolic System in Visual Human Activity Reasoning NIPS 2023

Limitations of Language Models in Arithmetic and Symbolic Induction ACL 2023

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers EMNLP 2023

Analyzing Modular Approaches for Visual Question Decomposition EMNLP 2023

PAL: Program-aided Language Models ICML 2023

NeuPSL: Neural Probabilistic Soft Logic IJCAI 2023