Manino, Edoardo

1. Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective
   2022/04/26 by Edoardo Manino, Julia Rozanova, Manino, Edoardo +7 · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Computation and Language (cs.CL) #FOS: Computer and information sciences #Software Testing and Debugging Techniques #Topic Modeling
2. Verifying Quantized Neural Networks using SMT-Based Model Checking
   2021/06/10 by Sena, Luiz, Song, Xidan, Alves, Erickson +4 · 1 citation
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Symbolic Computation (cs.SC)
3. CEG4N: Counter-Example Guided Neural Network Quantization Refinement
   2022/07/09 by João Batista P. Matos, Iury Bessa, Matos, João Batista P. +7 · 1 citation
   Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE)