Neural network verification is an emerging approach to establish neural networks satisfy various specifications and requirements, such as formalized notions of safety, security, and trustworthiness. This tutorial will present neural network verification methods in the context of medical imaging analysis and aims to present this line of work being developed in the formal methods, security, and machine learning communities to the medical imaging analysis community. Interactive demonstrations will be done through the Neural Network Verification (NNV) software tool, and for example, allow for characterizations of robustness for neural networks used in medical imaging analysis.

Materials and setup instructions for the interactive portion of the tutorial are available here:
https://github.com/verivital/nnv/tree/master/code/nnv/examples/Tutorial

The tutorial will begin with an introductory lecture on neural network verification, interspersed with interactive demonstrations of the NNV software tool and illustrations of its application on medical imaging analysis tasks. Attendees should have internet access.

 

This event is part of the Image Processing conference.

---

Event Details

FORMAT: General session with live audience Q&A to follow each presentation.
MENU: Coffee, decaf, and tea will be available outside presentation room.
SETUP: Theater style seating.

.