Author:Edoardo Manino
 Keyphrasesabstract interpretation, Deep Neural Networks, Equivalence Verification, homomorphic encryption, Lipschitz constant, Neural Network Compression, Neural Network Equivalence, polynomial approximation, privacy-preserving machine learning, Robust Compression.  | 

