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

Introduction to Functional Programming
Delft University of Technology via edX
Functional Programming in Haskell
Chennai Mathematical Institute via Swayam
An introduction to Haskell Programming
Chennai Mathematical Institute via Swayam
Functional Programming in Haskell: Supercharge Your Coding
University of Glasgow via FutureLearn
Introduction To Haskell Programming
Chennai Mathematical Institute via Swayam