logical inference

Barriers to Discrete Reasoning with Transformers: A Survey Across Depth, Exactness, and Bandwidth EACL 2026 Don’t Test What You Can Deduce: Causal Discovery with Logical Inference UAI 2026 FOL-Traces: Verified First-Order Logic Reasoning Traces at Scale EACL 2026 From Pixels to Logic: A Perception-Reasoning Decomposition Framework for Open-World Referring Expression Comprehension AAAI 2026 Memorization, Emergence, and Explaining Reversal Failures: A Controlled Study of Relational Semantics in LLMs ACL 2026 SpatialLogic-Bench: A Diagnostic Benchmark for Task-Oriented Spatiotemporal Reasoning AAAI 2026 Teaching Small Language Models to Learn Logic through Meta-Learning EACL 2026 Thesis Proposal: Intentional Inference for Insight Generation ACL 2026 Thiyaga6851 at SemEval-2026 Task 11: Disentangling Content and Formal Reasoning in Large Language Models using Neuro-Symbolic Mapping SemEval 2026 40 Years of Research in Possibilistic Logic – a Survey IJCAI 2025 An Evaluation of Approaches to Train Embeddings for Logical Inference (Student Abstract) AAAI 2025 Assessing Reliability and Political Bias In LLMs’ Judgements of Formal and Material Inferences With Partisan Conclusions ACL 2025 Enhancing Extractive Question Answering in Multiparty Dialogues with Logical Inference Memory Network COLING 2025 Into The Limits of Logic: Alignment Methods for Formal Logical Reasoning EMNLP 2025 LLMSR@XLLM25: Integrating Reasoning Prompt Strategies with Structural Prompt Formats for Enhanced Logical Inference ACL 2025 LogiDynamics: Unraveling the Dynamics of Inductive, Abductive and Deductive Logical Inferences in LLM Reasoning EMNLP 2025 SR-FoT: A Syllogistic-Reasoning Framework of Thought for Large Language Models Tackling Knowledge-based Reasoning Tasks AAAI 2025 Stress-Testing the Reasoning Competence of Language Models With Formal Proofs EMNLP 2025 SymBa: Symbolic Backward Chaining for Structured Natural Language Reasoning NAACL 2025 Verifying the Steps of Deductive Reasoning Chains ACL 2025 A Systematic Comparison of Syllogistic Reasoning in Humans and Language Models NAACL 2024 Counterfactual Reasoning with Knowledge Graph Embeddings EACL 2024 Enhancing Large Language Models through Transforming Reasoning Problems into Classification Tasks COLING 2024 NALA: an Effective and Interpretable Entity Alignment Method EMNLP 2024 SALMON: A Structure-Aware Language Model with logicality and densification strategy for Temporal Knowledge Graph Reasoning EMNLP 2024