Dual parser neurosymbolic system for syllogistic validity classification. Uses fine tuned T5-small with self consistency decoding to parse natural language into logical form, an 8-region Venn SAT solver for symbolic entailment checking, and a counterfactually trained DistilRoBERTa fallback
nlp binary-classification sequence-classification semantic-parsing logical-reasoning neurosymbolic semeval-2026 syllogistic-reasoning content-effect
-
Updated
Mar 9, 2026 - Jupyter Notebook