Interpreting Logical Explanations of Classifying Neural Networks, Leopardi, Fabrizio, Labbaf Faezeh, Kolárik Tomáš, Wand Michael, and Sharygina Natasha , ESANN 2026, (2026)

• Google Scholar
• BibTeX

Parallel SMT Solving via Iterative Tree Partitioning, Kolárik, Tomáš, Hyvärinen Antti E. J., Asadzadeh Seyedmasoud, and Sharygina Natasha , TACAS 2026, (2026)

• Google Scholar
• BibTeX

Space Explanations of Neural Network Classification, Labbaf, Faezeh, Kolárik Tomáš, Blicha Martin, Fedyukovich Grigory, Wand Michael, and Sharygina Natasha , 37th CAV 2025, (2025)

• Google Scholar
• BibTeX