logical reasoning

Assessing the Belief Consistency of Large Language Models on the Logical Conversation Process ACL 2026 Discovering a Shared Logical Subspace: Steering LLM Logical Reasoning via Alignment of Natural-Language and Symbolic Views ACL 2026 Do LLMs Really Struggle at NL-FOL Translation? Revealing Their Strengths via a Novel Benchmarking Strategy AAAI 2026 Don’t Judge a Book by its Cover: Testing LLMs’ Robustness Under Logical Obfuscation EACL 2026 Empowering LLMs with Symbolic Representation and Reasoning AAAI 2026 Fine-Tuning Sample Order Matters in Propositional Logical Question-Answering (Student Abstract) AAAI 2026 From Global to Factor-Wise Expert Composition in Discrete Diffusion Models UAI 2026 From Hypothesis to Premises: LLM-based Backward Logical Reasoning with Selective Symbolic Translation AAAI 2026 GigitAI at SemEval-2026 Task 11: Hybrid Symbolic-Neural Approach for Syllogistic Validity Classification SemEval 2026 HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization SemEval 2026 Hidetsune at SemEval-2026 Task 11: Adapting Pretrained Reasoning Models with Deep Supervision and Inference Refinement for Content-Independent Validity Classification SemEval 2026 Immediate Inference: The Missing Foundation in Large Language Model Logical Reasoning ACL 2026 Improving Chain-of-Thought for Logical Reasoning via Attention-Aware Intervention EACL 2026 Injecting Context via Situation Working Memory for Logical Reasoning with LLMs ACL 2026 Interest-Shift-Aware Logical Reasoning for Efficient Long-Sequence Recommendation AAAI 2026 Knowledge Vector of Logical Reasoning in Large Language Models ACL 2026 Leibniz: Theory-of-Mind Driven Neuro-Symbolic Logical Reasoning via Multi-Agent Collaboration ACL 2026 Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning ACL 2026 Logic Haystacks: Probing LLMs’ Long-Context Logical Reasoning (Without Easily Identifiable Unrelated Padding) EACL 2026 Logic Unseen: Revealing the Logical Blindspots of Vision-Language Models AAAI 2026 ModusPonens at SemEval-2026 Task 11: Breaking the Plausibility Trap in LLMs via Conflict-Aware Ensembling SemEval 2026 ParaSuite: Boosting LLM Reasoning via Paradox Resolution ACL 2026 SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs ACL 2026 Semantic-Aware Logical Reasoning via a Semiotic Framework ACL 2026 SLR: Automated Synthesis for Scalable Logical Reasoning ACL 2026