← Keywords

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

When natural language is not enough: The limits of in-context learning demonstrations in multilingual reasoning NAACL 2025
Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions ACL 2025
SymBa: Symbolic Backward Chaining for Structured Natural Language Reasoning NAACL 2025
LLM-Symbolic Integration for Robust Temporal Tabular Reasoning ACL 2025
Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 JMLR 2025
Text2World: Benchmarking Large Language Models for Symbolic World Model Generation ACL 2025
Understanding the Language Model to Solve the Symbolic Multi-Step Reasoning Problem from the Perspective of Buffer Mechanism EMNLP 2025
A Tensor-Based Formalization of the Event Calculus IJCAI 2024
A Little of That Human Touch: Achieving Human-Centric Explainable AI via Argumentation IJCAI 2024
Faithful Logical Reasoning via Symbolic Chain-of-Thought ACL 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
Natural Language Embedded Programs for Hybrid Language Symbolic Reasoning NAACL 2024
Arithmetic Reasoning with LLM: Prolog Generation & Permutation NAACL 2024
MATHSENSEI: A Tool-Augmented Large Language Model for Mathematical Reasoning NAACL 2024
Evaluating Step-by-Step Reasoning through Symbolic Verification NAACL 2024
From Statistical Relational to Neuro-Symbolic Artificial Intelligence AAAI 2024
SymKGQA: Few-Shot Knowledge Graph Question Answering via Symbolic Program Generation and Execution ACL 2024
Symbolic Reasoning Methods for AI Planning AAAI 2024
Symbolic Working Memory Enhances Language Models for Complex Rule Application EMNLP 2024
Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration with Provable Guarantees AAAI 2024
Deciphering the Factors Influencing the Efficacy of Chain-of-Thought: Probability, Memorization, and Noisy Reasoning EMNLP 2024
LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations ACL 2024
RENN: A Rule Embedding Enhanced Neural Network Framework for Temporal Knowledge Graph Completion COLING 2024
A Unified LLM-KG Framework to Assist Fact-Checking in Public Deliberation COLING 2024