formal reasoning

Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition EACL 2026 A Regex Minimization Benchmark: A PSPACE-Complete Challenge for Language Models EACL 2026 ARGUS: Towards End-to-End Argument Mining with Large Language Models AAAI 2026 CUETLuminaries at SemEval-2026 Task 11 Disentangling Logical Validity from Semantic Plausibility through Canonical Abstraction SemEval 2026 Foundations of Formal Reasoning over Knowledge Bases Combining Symbolic and Sub-Symbolic Knowledge AAAI 2026 GIL-Zaragoza at SemEval 2026 Task 11: Comparing Classification, Autoformalization, and Ontologies for Formal Reasoning Capabilities SemEval 2026 HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization SemEval 2026 ITLC at SemEval-2026 Task 11: Normalization and Deterministic Parsing for Formal Reasoning in LLMs SemEval 2026 Mitigating Content Effects on Reasoning in Language Models Through Fine-Grained Activation Steering AAAI 2026 SEF-CLGC at SemEval-2026 Task 11: Logical Notation Impact on Language Model Performance SemEval 2026 Training in Step-by-Step Formal Reasoning Improves Pronominal Reasoning in Language Models EACL 2026 YNU-NLP at SemEval-2026 Task 11: A Neuro-Symbolic Approach with Reflexion Mechanism Disentangling Content and Formal Reasoning in Language Models SemEval 2026 A Variable Occurrence-Centric Framework for Inconsistency Handling AAAI 2025 Logically Constrained Decoding EMNLP 2025 MASA: LLM-Driven Multi-Agent Systems for Autoformalization EMNLP 2025 PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement ACL 2025 Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference ACL 2025 Rosetta-PL: Propositional Logic as a Benchmark for Large Language Model Reasoning NAACL 2025 Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving EMNLP 2025 Unravelling the Logic: Investigating the Generalisation of Transformers in Numerical Satisfiability Problems ACL 2025 Beyond Recognising Entailment: Formalising Natural Language Inference from an Argumentative Perspective ACL 2024 Complexity of Credulous and Skeptical Acceptance in Epistemic Argumentation Framework AAAI 2024 Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation IJCAI 2024 TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts EMNLP 2024 Can Transformers Reason in Fragments of Natural Language? EMNLP 2022