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

SymBa: Symbolic Backward Chaining for Structured Natural Language Reasoning NAACL 2025

Exploring Backward Reasoning in Large Language Models NAACL 2025

DecisionFlow: Advancing Large Language Model as Principled Decision Maker EMNLP 2025

SketchAgent: Generating Structured Diagrams from Hand-Drawn Sketches IJCAI 2025

NeSyCoCo: A Neuro-Symbolic Concept Composer for Compositional Generalization AAAI 2025

When natural language is not enough: The limits of in-context learning demonstrations in multilingual reasoning NAACL 2025

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge IJCAI 2025

GraphEval36K: Benchmarking Coding and Reasoning Capabilities of Large Language Models on Graph Datasets NAACL 2025

Grammar-Constrained Decoding Makes Large Language Models Better Logical Parsers ACL 2025

Express What You See: Can Multimodal LLMs Decode Visual Ciphers with Intuitive Semiosis Comprehension? ACL 2025

Understanding the Language Model to Solve the Symbolic Multi-Step Reasoning Problem from the Perspective of Buffer Mechanism EMNLP 2025

CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning EMNLP 2025

Puzzled by Puzzles: When Vision-Language Models Can’t Take a Hint EMNLP 2025

Seeing Symbols, Missing Cultures: Probing Vision-Language Models’ Reasoning on Fire Imagery and Cultural Meaning EMNLP 2025

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning About Actions AAAI 2025

TRACE-CS: A Synergistic Approach to Explainable Course Scheduling Using LLMs and Logic 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

Explainable Robot Navigation AAAI 2025

From Objects to Events: Unlocking Complex Visual Understanding in Object Detectors via LLM-guided Symbolic Reasoning ICCV 2025

Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning AAAI 2025

Text2World: Benchmarking Large Language Models for Symbolic World Model Generation ACL 2025

Efficient and Rigorous Model-Agnostic Explanations IJCAI 2025

Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection (Extended Abstract) IJCAI 2025

CSIRO LT at SemEval-2025 Task 8: Answering Questions over Tabular Data using LLMs SEMEVAL 2025