symbolic reasoning

2-ASP(Q) Solving Based on CEGAR AAAI 2026 AICOE-Tredence at SemEval-2026 Task 11: Mitigating Content Bias in Syllogisms via Symbolic Logic-Language Decoupling SemEval 2026 Automated Unified Reasoning with Vision-Language Models for Multi-modal Burn Assessment AAAI 2026 Complex Reasoning over Vision and Language --Leveraging Neurosymbolic AI AAAI 2026 Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning AAAI 2026 Discovering a Shared Logical Subspace: Steering LLM Logical Reasoning via Alignment of Natural-Language and Symbolic Views ACL 2026 Does Self-Consistency Improve the Recall of Encyclopedic Knowledge? ACL 2026 ENC-Bench: A Benchmark for Evaluating Multimodal Large Language Models in Electronic Navigational Chart Understanding CVPR 2026 FinChain: A Symbolic Benchmark for Verifiable Chain-of-Thought Financial Reasoning ACL 2026 Graph Reasoning Paradigm: Structured and Symbolic Reasoning with Topology-Aware Reinforcement Learning for Large Language Models ACL 2026 LaMoGen: Language to Motion Generation Through LLM-Guided Symbolic Inference CVPR 2026 Leveraging Large Language Models for Causal Discovery: a Constraint-based, Argumentation-driven Approach UAI 2026 NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework AAAI 2026 ORACLE: Optimizing Reasoning Abilities of Large Language Models via Constraint-Led Synthetic Data Elicitation AAAI 2026 Query4Regex: Verifiable Regex Transformation through Formal Operations from NL and DSL Queries EACL 2026 Repairing Regex Vulnerabilities via Localization-Guided Instructions EACL 2026 SpatialMath: Spatial Comprehension-Infused Symbolic Reasoning for Mathematical Problem-Solving EACL 2026 SPIRAL: Symbolic LLM Planning via Grounded and Reflective Search AAAI 2026 Step Back to Leap Forward: Self-Backtracking for Symbolic Reasoning and Planning in Language Models AAAI 2026 SymbolicThought: Integrating Language Models and Symbolic Reasoning for Consistent and Interpretable Human Relationship Understanding ACL 2026 The Future Is Neuro-Symbolic: Where Has It Been, and Where Is It Going? AAAI 2026 A Hybrid Approach for Visual Recognition of Object States AAAI 2025 A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge IJCAI 2025 Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework ACL 2025 Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning AAAI 2025