Maria Christakis
3 papers in the PaperMetrix corpus
Papers by this author
-
Automated Safety Verification of Programs Invoking Neural Networks
2021 · Lecture notes in computer science
Abstract State-of-the-art program-analysis techniques are not yet able to effectively verify safety properties of heterogeneous systems, that is, systems with components implemented using diverse technologies. This shortcoming is pinpointed by programs invoking neural networks despite …
-
Specifying and Testing $k$-Safety Properties for Machine-Learning Models
2022 · arXiv (Cornell University)
Machine-learning models are becoming increasingly prevalent in our lives, for instance assisting in image-classification or decision-making tasks. Consequently, the reliability of these models is of critical importance and has resulted in the development of numerous …
-
Verifying Global Two-Safety Properties in Neural Networks with Confidence
2024 · Lecture notes in computer science
Abstract We present the first automated verification technique for confidence-based 2-safety properties, such as global robustness and global fairness, in deep neural networks (DNNs). Our approach combines self-composition to leverage existing reachability analysis techniques and …