symbolic reasoning

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning About Actions AAAI 2025 LLM-Symbolic Integration for Robust Temporal Tabular Reasoning ACL 2025 NeSyCoCo: A Neuro-Symbolic Concept Composer for Compositional Generalization AAAI 2025 Neuro-Symbolic Artificial Intelligence: A Task-Directed Survey in the Black-Box Models Era IJCAI 2025 Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models IJCAI 2025 Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning ICLR 2025 Puzzled by Puzzles: When Vision-Language Models Can’t Take a Hint EMNLP 2025 Rule-Guided Graph Neural Networks for Explainable Knowledge Graph Reasoning AAAI 2025 Seeing Symbols, Missing Cultures: Probing Vision-Language Models’ Reasoning on Fire Imagery and Cultural Meaning EMNLP 2025 SketchAgent: Generating Structured Diagrams from Hand-Drawn Sketches IJCAI 2025 SPORTSQL: An Interactive System for Real-Time Sports Reasoning and Visualization IJCNLP 2025 SymBa: Symbolic Backward Chaining for Structured Natural Language Reasoning NAACL 2025 Text2World: Benchmarking Large Language Models for Symbolic World Model Generation ACL 2025 The Delta of Thought: Channeling Rivers of Commonsense Knowledge in the Sea of Metaphorical Interpretations IJCAI 2025 To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning ICLR 2025 Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine ACL 2025 TRACE-CS: A Synergistic Approach to Explainable Course Scheduling Using LLMs and Logic AAAI 2025 Tracr-Injection: Distilling Algorithms into Pre-trained Language Models ACL 2025 Understanding the Language Model to Solve the Symbolic Multi-Step Reasoning Problem from the Perspective of Buffer Mechanism EMNLP 2025 UTMath: A Benchmark for Math Evaluation with Unit Test EMNLP 2025 When natural language is not enough: The limits of in-context learning demonstrations in multilingual reasoning NAACL 2025 A Little of That Human Touch: Achieving Human-Centric Explainable AI via Argumentation IJCAI 2024 A Mechanistic Analysis of a Transformer Trained on a Symbolic Multi-Step Reasoning Task ACL 2024 Arithmetic Reasoning with LLM: Prolog Generation & Permutation NAACL 2024 A Tensor-Based Formalization of the Event Calculus IJCAI 2024