TY - RPRT TI - UFAL-CUNI at SemEval-2026 Task 11: An Efficient Modular Neuro-symbolic Method for Syllogistic Reasoning AU - Ivan Kartáč AU - Kristýna Onderková AU - Jan Bronec AU - Zdeněk Kasner AU - Mateusz Lango AU - Ondřej Dušek PY - 2026 UR - https://arxiv.org/abs/2605.04941 ID - 2605.04941 ER -