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
FM 2026-profile
View general profile
View general profile