Description: Machine learning research scientist in the AI Division of the Software Engineering Institute (SEI) at Carnegie Mellon University (CMU), interested in safe and reliable AI.
research (8551) python (3845) machine learning (3372) software engineering (1150) publications (1055) verification (357) neural networks (215) falsification (6)
David Shriver Contact Email: [email protected] Website: https://dlshriver.com Research Interests I am a machine learning research scientist in the AI Division of the Software Engineering Institute (SEI) at Carnegie Mellon University (CMU). My research interests are in ensuring correctness of machine learning systems. In particular, I am interested in analysis, testing, and verification of neural networks , especially in the context of systems with a high cost of failure, such as safety-critical and a
Implements a reduction to enable the application of falsification tools, such as adversarial attacks, to a more general set of behavioral properties of neural networks.
[ Github ] [ Documentation ] [ Video ] [ Docker ]