YoVDO

Vehicle - A Specification Language for Neural Network Properties

Offered By: ACM SIGPLAN via YouTube

Tags

Functional Programming Courses Machine Learning Courses Haskell Courses TensorFlow Courses Type System Courses Agda Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a comprehensive tutorial on Vehicle, a functional DSL for specifying neural network properties. Learn how to write high-level specifications that work seamlessly with training and verification tools, independent of specific neural network platforms. Discover techniques for expressing various specifications, compiling them into Tensorflow graphs for loss functions, generating queries for network verifiers, and cross-compiling to Agda. Gain insights into the Vehicle specification language and type system, and participate in hands-on exercises to reinforce your understanding. Delve into technical challenges and outstanding problems in neural network verification, and understand how Vehicle addresses the need for verifiably safe machine learning components in critically safe software.

Syllabus

[Tutorials @ ICFP'23] Vehicle - A Specification Language for Neural Network Properties


Taught by

ACM SIGPLAN

Related Courses

Peter Dybjer - Intuitionistic Type Theory
Hausdorff Center for Mathematics via YouTube
The Intellectual Ascent to Agda
CppNow via YouTube
Programming Languages in Agda - Propositions as Types
GOTO Conferences via YouTube
Graded Modal Dependent Type Theory with Universe and Erasure - Formalized
ACM SIGPLAN via YouTube
Timely Computation - A Formal Approach to Digital Circuit Design
ACM SIGPLAN via YouTube