← 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

SPIRAL: Symbolic LLM Planning via Grounded and Reflective Search AAAI 2026
SpatialMath: Spatial Comprehension-Infused Symbolic Reasoning for Mathematical Problem-Solving EACL 2026
NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework AAAI 2026
2-ASP(Q) Solving Based on CEGAR AAAI 2026
Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning AAAI 2026
Repairing Regex Vulnerabilities via Localization-Guided Instructions EACL 2026
Query4Regex: Verifiable Regex Transformation through Formal Operations from NL and DSL Queries EACL 2026
The Future Is Neuro-Symbolic: Where Has It Been, and Where Is It Going? AAAI 2026
Complex Reasoning over Vision and Language --Leveraging Neurosymbolic AI AAAI 2026
Step Back to Leap Forward: Self-Backtracking for Symbolic Reasoning and Planning in Language Models AAAI 2026
ORACLE: Optimizing Reasoning Abilities of Large Language Models via Constraint-Led Synthetic Data Elicitation AAAI 2026
Automated Unified Reasoning with Vision-Language Models for Multi-modal Burn Assessment AAAI 2026
SymBa: Symbolic Backward Chaining for Structured Natural Language Reasoning NAACL 2025
The Delta of Thought: Channeling Rivers of Commonsense Knowledge in the Sea of Metaphorical Interpretations IJCAI 2025
Puzzled by Puzzles: When Vision-Language Models Can’t Take a Hint EMNLP 2025
Chain-of-Reasoning: Towards Unified Mathematical Reasoning in Large Language Models via a Multi-Paradigm Perspective ACL 2025
Seeing Symbols, Missing Cultures: Probing Vision-Language Models’ Reasoning on Fire Imagery and Cultural Meaning EMNLP 2025
Understanding the Language Model to Solve the Symbolic Multi-Step Reasoning Problem from the Perspective of Buffer Mechanism EMNLP 2025
DecisionFlow: Advancing Large Language Model as Principled Decision Maker EMNLP 2025
Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning AAAI 2025
Integrating Symbolic Reasoning into Neural Generative Models for Design Generation AAAI 2025
A Hybrid Approach for Visual Recognition of Object States AAAI 2025
CSIRO LT at SemEval-2025 Task 8: Answering Questions over Tabular Data using LLMs ACL 2025
Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection (Extended Abstract) IJCAI 2025
Rule-Guided Graph Neural Networks for Explainable Knowledge Graph Reasoning AAAI 2025