Author name: Ivan Kart\'a\v{c}, Krist\'yna Onderkov\'a, Jan Bronec, Zden\v{e}k Kasner, Mateusz Lango, Ond\v{r}ej Du\v{s}ek

arXiv:2605.04941v1 Announce Type: new
Abstract: This paper describes our system submitted to SemEval-2026 Task 11: Disentangling Content and Formal Reasoning in Large Language Models. We present an efficient modular neuro-symbolic approach, combining …