logical reasoning

SteerForce at SemEval-2026 Task 11: Reducing Content Effects Using Layered Activation Steering SemEval 2026 Synthesizing Visual Concepts as Vision-Language Programs CVPR 2026 Tailored Primitive Initialization is the Secret Key to Reinforcement Learning ACL 2026 ThinkStruct: RST-Aware Attention for Logical Reasoning in Machine Reading Comprehension CoNLL 2026 R^2-Guard: Robust Reasoning Enabled LLM Guardrail via Knowledge-Enhanced Logical Reasoning ICLR 2025 A Logic-based Framework for Decoding Enthymemes in Argument Maps Involving Implicitness in Premises and Claims IJCAI 2025 Are LLMs Rigorous Logical Reasoners? Empowering Natural Language Proof Generation by Stepwise Decoding with Contrastive Learning IJCNLP 2025 Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework ACL 2025 Assessing the Sensitivity and Alignment of FOL Closeness Metrics EMNLP 2025 A Survey of Multilingual Reasoning in Language Models EMNLP 2025 Automatic Curriculum Expert Iteration for Reliable LLM Reasoning ICLR 2025 Autonomous Evaluation of LLMs for Truth Maintenance and Reasoning Tasks ICLR 2025 C3LRSO: A Chinese Corpus for Complex Logical Reasoning in Sentence Ordering COLING 2025 Can Large Language Models Win the International Mathematical Games? EMNLP 2025 ChainEdit: Propagating Ripple Effects in LLM Knowledge Editing through Logical Rule-Guided Chains ACL 2025 CodeEval: A pedagogical approach for targeted evaluation of code-trained Large Language Models IJCNLP 2025 CogSQL: A Cognitive Framework for Enhancing Large Language Models in Text-to-SQL Translation AAAI 2025 Concise and Organized Perception Facilitates Reasoning in Large Language Models NAACL 2025 Content-free Logical Modification of Large Language Model by Disentangling and Modifying Logic Representation AAAI 2025 Core-to-Global Reasoning for Compositional Visual Question Answering AAAI 2025 CoT-UQ: Improving Response-wise Uncertainty Quantification in LLMs with Chain-of-Thought ACL 2025 Deduction with Induction: Combining Knowledge Discovery and Reasoning for Interpretable Deep Reinforcement Learning IJCAI 2025 Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Study EMNLP 2025 Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning ICLR 2025 DivLogicEval: A Framework for Benchmarking Logical Reasoning Evaluation in Large Language Models EMNLP 2025