Loading the SOTA2 catalog…
ITLC at SemEval-2026 Task 11: Normalization and Deterministic Parsing for Formal Reasoning in LLMs · SOTA2 Research