HCMUSDroneBoys at SemEval-2026 Task 11: Asymmetric Counterfactual Debiasing and Rank-Sensitive Logical Invariance Adaptation for Syllogistic Reasoning
Summary
The HCMUSDroneBoys system, developed for SemEval-2026 Task 11, Subtask 1, addresses the challenge of binary classification for syllogistic validity in English. Its primary goal is to overcome the "content effect," where language models mistakenly equate formal logical validity with an argument's semantic plausibility. The system integrates three distinct techniques: Structure-Disentangled Prompting (SDP) for breaking down syllogisms into premise-conclusion triples with a logic-first template; Asymmetric Counterfactual Debiasing (ACD), a data augmentation method that generates only valid-to-invalid counterfactual pairs to prevent label noise; and Rank-Sensitive Logical Invariance Adaptation (RLIA), which increases QLoRA adapter rank to enable simultaneous learning of classification and suppression of content-correlated shortcuts. Built upon Qwen2.5-14B-Instruct, this approach achieved a perfect Combined Score of 100.0 on the SemEval-2026 Task 11 Subtask 1 benchmark.
Key takeaway
For Machine Learning Engineers developing language models for formal reasoning tasks, this work highlights a critical approach to mitigate the "content effect." You should consider integrating Structure-Disentangled Prompting, Asymmetric Counterfactual Debiasing, and Rank-Sensitive Logical Invariance Adaptation. These techniques, demonstrated on Qwen2.5-14B-Instruct, can significantly improve your model's ability to distinguish logical validity from semantic plausibility, potentially achieving perfect scores on similar benchmarks. Adjusting QLoRA adapter rank is crucial for complex logical learning.
Key insights
A novel system combines prompting, data augmentation, and adapter rank adjustment to achieve perfect syllogistic validity classification.
Principles
- Language models struggle with logical validity vs. semantic plausibility.
- Asymmetric data augmentation can reduce label noise.
- Increase adapter rank for complex, multi-objective learning.
Method
Syllogisms are broken into premise-conclusion triples with logic-first prompts. Data augmentation generates valid-to-invalid counterfactuals. QLoRA adapter rank is increased to learn classification and suppress content-correlated shortcuts.
In practice
- Implement logic-first prompting for formal reasoning.
- Employ asymmetric counterfactuals for data augmentation.
- Optimize QLoRA adapter rank for logical invariance.
Topics
- Syllogistic Reasoning
- Language Models
- Counterfactual Debiasing
- QLoRA Adapters
- Prompt Engineering
- SemEval-2026
Best for: Research Scientist, AI Scientist, Machine Learning Engineer, NLP Engineer
Related on AIssential
Editorial summary, takeaway, and curation by AIssential. Original article published by Paper Index on ACL Anthology.