conf.researchr.org / 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