conftrace_
← Keywords

symbolic reasoning

184 papers

Explore in graph

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