Tomáš Kolárik -

Registered user since Thu 12 Mar 2026

Name:Tomáš Kolárik

Country:Switzerland

Affiliation:University of Lugano

GitHub: https://github.com/Tomaqa

Research interests:SMT, Parallel SMT, Neural Networks, XAI

Contributions

2026

APLAS

Author of Neuron Activation-based Computation of Logical Explanations for Deep Neural Networks within the ATVA Research Papers-track

FM

Author of Formally Explaining Neural Network Classification within the Tutorials-track