Gopinath, Divya

1. DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks
   2017/10/02 by Divya Gopinath, Gopinath, Divya, Guy Katz +5 · 8 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Neural and Evolutionary Computing (cs.NE)
2. Compositional Verification for Autonomous Systems with Deep Learning Components
   2018/10/18 by Corina S. Păsăreanu, Pasareanu, Corina S., Divya Gopinath +3 · 2 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Safety Systems Engineering in Autonomy
3. Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study
   2023/02/06 by Corina S. Păsăreanu, Pasareanu, Corina S., Ravi Mangal +11 · 3 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Bayesian Modeling and Causal Inference #Explainable Artificial Intelligence (XAI)
4. Parallelization Techniques for Verifying Neural Networks
   2020/04/17 by Haoze Wu, Wu, Haoze, Alex Ozdemir +17 · 2 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Radiation Effects in Electronics #Software Testing and Debugging Techniques
5. NEUROSPF: A tool for the Symbolic Analysis of Neural Networks
   2021/02/27 by Muhammad Usman, Usman, Muhammad, Yannic Noller +7 · 1 citation
   Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
6. Concept-based Analysis of Neural Networks via Vision-Language Models
   2024/03/28 by Ravi Mangal, Mangal, Ravi, Nina Narodytska +11 · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Semantic Web and Ontologies
7. An Overview of Structural Coverage Metrics for Testing Neural Networks
   2022/08/05 by Muhammad Usman, Usman, Muhammad, Youcheng Sun +9 · 1 citation
   Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE)
8. NNrepair: Constraint-based Repair of Neural Network Classifiers
   2021/03/23 by Usman, Muhammad, Gopinath, Divya, Sun, Youcheng +2 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)