TY - RPRT TI - ITLC at SemEval-2026 Task 11: Normalization and Deterministic Parsing for Formal Reasoning in LLMs AU - Wicaksono Leksono Muhamad AU - Joanito Agili Lopo AU - Tack Hwa Wong AU - Muhammad Ravi Shulthan Habibi AU - Samuel Cahyawijaya PY - 2026 UR - https://arxiv.org/abs/2603.02676 ID - 2603.02676 ER -