neuro-symbolic framework

Achieving Multi-Hop Calculation and Safe Abstention in Financial Numerical Reasoning by Metric Graph Constrained LLMs ACL 2026 BioProAgent: Neuro-Symbolic Grounding for Constrained Scientific Planning ACL 2026 Delphi: A Neuro-Symbolic Framework for Individualized, Safe and Interpretable Treatment Recommendation AAAI 2026 KCVR: Knowledge-Centric Video Reconstruction for Structured Pedagogical Summarization via Dynamic Graph Planning ACL 2026 LePREC: Reasoning as Classification over Structured Factors for Assessing Relevance of Legal Issues ACL 2026 ReEfBench: Quantifying the Reasoning Efficiency of LLMs ACL 2026 YNU-NLP at SemEval-2026 Task 11: A Neuro-Symbolic Approach with Reflexion Mechanism Disentangling Content and Formal Reasoning in Language Models SemEval 2026 Constrained Sequential Inference in Machine Learning Using Constraint Programming IJCAI 2025 Few-Shot Neuro-Symbolic Imitation Learning for Long-Horizon Planning and Acting CoRL 2025 SQUiD: Synthesizing Relational Databases from Unstructured Text EMNLP 2025 Autoformalizing Euclidean Geometry ICML 2024 LILO: Learning Interpretable Libraries by Compressing and Documenting Code ICLR 2024 Symbolic Working Memory Enhances Language Models for Complex Rule Application EMNLP 2024 Teaching Robots with Show and Tell: Using Foundation Models to Synthesize Robot Policies from Language and Visual Demonstration CoRL 2024 Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving EMNLP 2024 Neuro-Symbolic Sentiment Analysis with Dynamic Word Sense Disambiguation EMNLP 2023 In a Nutshell, the Human Asked for This: Latent Goals for Following Temporal Specifications ICLR 2022 Knowledge-driven Data Construction for Zero-shot Evaluation in Commonsense Question Answering AAAI 2021 LOA: Logical Optimal Actions for Text-based Interaction Games ACL 2021 HOUDINI: Lifelong Learning as Program Synthesis NeurIPS 2018