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

Functional Programming Principles in Scala
École Polytechnique Fédérale de Lausanne via Coursera
Software Analysis & Testing
Georgia Institute of Technology via Udacity
Go: The Complete Developer's Guide (Golang)
Udemy
Go Bootcamp: Master Golang with 1000+ Exercises and Projects
Udemy
C++ in Detail: Common Idioms
Udemy