Completed
"Property Inference in ReLU Nets using Linear Interpolants" | VNN 2020
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
VNN 2020 - Verification of Neural Networks
Automatically move to the next video in the Classroom when playback concludes
- 1 "Abstractions for Scalable Verification of AI-Controlled Cyber-Physical Systems" | VNN 2020
- 2 "End-to-end robustness for Sensing-Reasoning pipeline in adversarial environments" | VNN 2020
- 3 "Image Approximation for Feed Forward Neural Nets" | VNN 2020
- 4 "Execution-Guided Overapproximation (EGO) for Neural Network Verification" | VNN 2020
- 5 "Property Inference in ReLU Nets using Linear Interpolants" | VNN 2020
- 6 "L1-Norm Channel Pruning for Convolutional Neural Network Verification" | VNN 2020
- 7 VNN 2020 Live Session
