neuro-symbolic reasoning

Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition EACL 2026 ARGUS: Towards End-to-End Argument Mining with Large Language Models AAAI 2026 Birds of a Feather Reason Together: Gestalt Grouping Meets Neuro-Symbolic Inference UAI 2026 Building Interpretable, Trust-worthy Systems for Neural Signal Decoding AAAI 2026 Concept-RuleNet: Grounded Multi-Agent Neurosymbolic Reasoning in Vision Language Models AAAI 2026 Cross-Domain Demo-to-Code via Neurosymbolic Counterfactual Reasoning CVPR 2026 Empowering LLMs with Symbolic Representation and Reasoning AAAI 2026 GheGheGhe at SemEval-2026 Task 11: Decoupling Logic from Belief with Bias-Targeted Fine-Tuning and Neuro-Symbolic Syllogistic Reasoning SemEval 2026 GIL-Zaragoza at SemEval 2026 Task 11: Comparing Classification, Autoformalization, and Ontologies for Formal Reasoning Capabilities SemEval 2026 HHU-SyLo at SemEval-2026 Task 11: Logic in the Loop – Hybridizing LLMs and Theorem Provers for Robust Formal Reasoning SemEval 2026 Lakksh at SemEval-2026 Task 11(1 & 2): Neuro-Symbolic Decomposition to Mitigate Content Bias in Syllogistic Reasoning SemEval 2026 lakshadvani at SemEval-2026 Task 11: A Neuro-Symbolic Approach to Content-Independent Syllogistic Reasoning SemEval 2026 Leibniz: Theory-of-Mind Driven Neuro-Symbolic Logical Reasoning via Multi-Agent Collaboration ACL 2026 NeSTR: A Neuro-Symbolic Abductive Framework for Temporal Reasoning in Large Language Models AAAI 2026 Neuro-Symbolic Proof Generation for Scaling Systems Software Verification OSDI 2026 NeuS-QA: Grounding Long-Form Video Understanding in Temporal Logic and Neuro-Symbolic Reasoning AAAI 2026 PKR-QA: A Benchmark for Procedural Knowledge Reasoning with Knowledge Module Learning AAAI 2026 SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation EACL 2026 SYMDIREC: A Neuro-Symbolic Divide-Retrieve-Conquer Framework for Enhanced RTL Synthesis and Summarization EACL 2026 Thiyaga6851 at SemEval-2026 Task 11: Disentangling Content and Formal Reasoning in Large Language Models using Neuro-Symbolic Mapping SemEval 2026 VIRO: Robust and Efficient Neuro-Symbolic Reasoning with Verification for Referring Expression Comprehension CVPR 2026 YNJTC at SemEval-2026 Task 11: A Neuro-Symbolic Hybrid Pipeline for Content-Independent Syllogistic Reasoning SemEval 2026 Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection IJCNLP 2025 A Zero-Shot Neuro-Symbolic Approach for Complex Knowledge Graph Question Answering EMNLP 2025 Chain of Semantics Programming in 3D Gaussian Splatting Representation for 3D Vision Grounding CVPR 2025