logic reasoning

Enhancing Predictive Model Learning via Domain-Knowledge Augmented Latent Feature Mining AAAI 2026 Socrates or Smartypants: Testing Logic Reasoning Capabilities of Large Language Models with Logic Programming-Based Test Oracles AAAI 2026 CrossVTON: Mimicking the Logic Reasoning on Cross-Category Virtual Try-On Guided by Tri-Zone Priors IJCAI 2025 Disentangling Logic: The Role of Context in Large Language Model Reasoning Capabilities ACL 2025 FLARE: Faithful Logic-Aided Reasoning and Exploration EMNLP 2025 LLMSR@XLLM25: SWRV: Empowering Self-Verification of Small Language Models through Step-wise Reasoning and Verification ACL 2025 NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning ICCV 2025 SoundMind: RL-Incentivized Logic Reasoning for Audio-Language Models EMNLP 2025 Flee the Flaw: Annotating the Underlying Logic of Fallacious Arguments Through Templates and Slot-filling EMNLP 2024 From Unstructured Data to In-Context Learning: Exploring What Tasks Can Be Learned and When NeurIPS 2024 Generalization on the Unseen, Logic Reasoning and Degree Curriculum JMLR 2024 Improving Implicit Discourse Relation Recognition with Semantics Confrontation COLING 2024 PAGED: A Benchmark for Procedural Graphs Extraction from Documents ACL 2024 Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation COLING 2024 Generalization on the Unseen, Logic Reasoning and Degree Curriculum ICML 2023 Interpretable Multimodal Misinformation Detection with Logic Reasoning ACL 2023 Investigating Transformer-Guided Chaining for Interpretable Natural Logic Reasoning ACL 2023 Neural-Logic Human-Object Interaction Detection NeurIPS 2023 The Candide model: How narratives emerge where observations meet beliefs ACL 2023 Deep Inductive Logic Reasoning for Multi-Hop Reading Comprehension ACL 2022 Neural Unification for Logic Reasoning over Natural Language EMNLP 2021 Differentiable Reasoning on Large Knowledge Bases and Natural Language AAAI 2020 JEC-QA: A Legal-Domain Question Answering Dataset AAAI 2020 Neural Logic Machines ICLR 2019 Top-Down Neural Model For Formulae ICLR 2019