Co-occurring keywords · papers mentioning both
Papers
CUETLuminaries at SemEval-2026 Task 11 Disentangling Logical Validity from Semantic Plausibility through Canonical Abstraction
SemEval 2026
Ellat at SemEval-2026 Task 11: Comparing Encoder and Decoder Models for Syllogistic Reasoning
SemEval 2026
GIL-Zaragoza at SemEval 2026 Task 11: Comparing Classification, Autoformalization, and Ontologies for Formal Reasoning Capabilities
SemEval 2026
Mitigating Content Effects on Reasoning in Language Models Through Fine-Grained Activation Steering
AAAI 2026
SemEval-2026 Task 11: Disentangling Content and Formal Reasoning in Large Language Models
SemEval 2026
Thinking in Schemas: Robust Syllogistic Reasoning in LLMs
ACL 2026
TUCNLP at SemEval-2026 Task 11: Neuro-Symbolic Content Stripping for Debiased Syllogistic Reasoning
SemEval 2026
PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
ACL 2025
Prove Your Point!: Bringing Proof-Enhancement Principles to Argumentative Essay Generation
EMNLP 2024