neuro-symbolic method

UFAL-CUNI at SemEval-2026 Task 11: An Efficient Modular Neuro-symbolic Method for Syllogistic Reasoning SemEval 2026 LTRAG: Enhancing Autoformalization and Self-refinement for Logical Reasoning with Thought-Guided RAG ACL 2025 Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification CVPR 2025 Rethinking and Improving Autoformalization: Towards a Faithful Metric and a Dependency Retrieval-based Approach ICLR 2025 Verifying the Steps of Deductive Reasoning Chains ACL 2025 NESTER: An Adaptive Neurosymbolic Method for Causal Effect Estimation AAAI 2024 Neuro-Symbolic Integration for Reasoning and Learning on Knowledge Graphs AAAI 2024 Pauk at SemEval-2024 Task 4: A Neuro-Symbolic Method for Consistent Classification of Propaganda Techniques in Memes SemEval 2024 Scope-enhanced Compositional Semantic Parsing for DRT EMNLP 2024 Chain-of-Questions Training with Latent Answers for Robust Multistep Question Answering EMNLP 2023 Complex Reasoning in Natural Language ACL 2023 Guiding Safe Exploration with Weakest Preconditions ICLR 2023 Cross-lingual Short-text Entity Linking: Generating Features for Neuro-Symbolic Methods EMNLP 2022 Neural Program Generation Modulo Static Analysis NeurIPS 2021 Neuro-Symbolic Approaches for Text-Based Policy Learning EMNLP 2021 Neuro-Symbolic Reinforcement Learning with First-Order Logic EMNLP 2021 Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach ICLR 2019