Eleftheriadis, Charis
- On Neural Network Equivalence Checking using SMT Solvers
2022/03/22 by Charis Eleftheriadis, Eleftheriadis, Charis, Nikolaos Kekatos +5 · 3 citations
Computer Science · Materials Science · #Adversarial Robustness in Machine Learning #Machine Learning in Materials Science #Explainable Artificial Intelligence (XAI)