Methods to Soundly Verify Deep Neural Networks | Tomer Arnon | JuliaCon2021

Share this & earn $10
The Julia Programming Language
Published at : 29 Sep 2021
201 views
5
0

This talk was presented as part of JuliaCon2021

Abstract:
Deep neural networks are widely used for nonlinear function approximation, with applications ranging from computer vision to control. Although these networks involve the composition of simple arithmetic operations, it can be very challenging to verify whether a particular network satisfies certain input-output properties. NeuralVerification.jl implements several methods that have emerged recently for soundly verifying such properties. We discuss fundamental differences between existing algorithms and compare them on a set of benchmark problems.

For more info on the Julia Programming Language, follow us on Twitter: https://twitter.com/JuliaLanguage and consider sponsoring us on GitHub: https://github.com/sponsors/JuliaLang

00:00 Welcome!
00:10 Help us add time stamps for this video! See the description for details.

Want to help add timestamps to our YouTube videos to help with discoverability? Find out more here: https://github.com/JuliaCommunity/YouTubeVideoTimestamps

JuliaLanguageProgramming

THIS, THAT, THESE & THOSE | Grammar lesson |  Learn the difference & quiz!

THIS, THAT, THESE & THOSE | Grammar lesson | Learn the difference & quiz!

Good Newwz - Official Trailer | Akshay, Kareena, Diljit, Kiara | Raj Mehta | In cinemas 27th Dec

Good Newwz - Official Trailer | Akshay, Kareena, Diljit, Kiara | Raj Mehta | In cinemas 27th Dec

POWERFULLY ATTRACT the Right Woman for You by GIVING FREELY...

POWERFULLY ATTRACT the Right Woman for You by GIVING FREELY...

Was LOST even a good show?

Was LOST even a good show?

Live English Class: How to use 'quite', 'pretty', 'rather' and 'fairly'

Live English Class: How to use 'quite', 'pretty', 'rather' and 'fairly'

Abandoned Asylum Decaying for 25 Years - Found Morgue and Theater!

Abandoned Asylum Decaying for 25 Years - Found Morgue and Theater!

Isak Danielson - Always (official video)

Isak Danielson - Always (official video)

Indicator Sale Stream | Some window shopping and a little purchasing

Indicator Sale Stream | Some window shopping and a little purchasing

How to Pronounce Often | Is the T Silent in Often? | Is it correct to pronounce the T in Often?

How to Pronounce Often | Is the T Silent in Often? | Is it correct to pronounce the T in Often?

MAKE SURE YOU TRY THESE DIYs 😜

MAKE SURE YOU TRY THESE DIYs 😜

Optimum Quick Relief Massager V5

Optimum Quick Relief Massager V5

Yeah Yeah Yeahs - Turn Into

Yeah Yeah Yeahs - Turn Into

Nikos Vertis - An eisai ena asteri (Official Videoclip)

Nikos Vertis - An eisai ena asteri (Official Videoclip)

More and Fewer Kindergarten Math Video for Kids

More and Fewer Kindergarten Math Video for Kids

Trace Adkins - You're Gonna Miss This (Official Music Video)

Trace Adkins - You're Gonna Miss This (Official Music Video)

Marilyn Manson - Fundamentally Loathsome

Marilyn Manson - Fundamentally Loathsome

ARRANGED | Lima Das | Ranjeev Lal Barua | Harsh Siddhanta | Samujjal Kashyap

ARRANGED | Lima Das | Ranjeev Lal Barua | Harsh Siddhanta | Samujjal Kashyap

Glance through - W28D1 - Daily Phrasal Verbs - Learn English online free video lessons

Glance through - W28D1 - Daily Phrasal Verbs - Learn English online free video lessons

Cost Of Goods Sold (COGS) explained

Cost Of Goods Sold (COGS) explained

Tate McRae & Ali Gatie - lie to me (Lyrics)

Tate McRae & Ali Gatie - lie to me (Lyrics)

US begins to deport migrants, many of them Haitians

US begins to deport migrants, many of them Haitians

Chicago - You're The Inspiration (Lyrics)

Chicago - You're The Inspiration (Lyrics)

Dragons Intensely Scrutinises Acclaimed Health Benefits | Dragons’ Den

Dragons Intensely Scrutinises Acclaimed Health Benefits | Dragons’ Den

SperoachBeatz - Constantly feat. Mayorkun & Peruzzi (Official Video)

SperoachBeatz - Constantly feat. Mayorkun & Peruzzi (Official Video)

Counseling psychology is often confused with clinical psychology because they are quite similar

Counseling psychology is often confused with clinical psychology because they are quite similar

Semisonic - Closing Time (Official Music Video)

Semisonic - Closing Time (Official Music Video)

limbo • think about (lyrics)

limbo • think about (lyrics)

8 Life and Health Insurance Dividend Growth Stocks: 2.51% - 5.11% Dividend Yields | FAST Graphs

8 Life and Health Insurance Dividend Growth Stocks: 2.51% - 5.11% Dividend Yields | FAST Graphs

SIMWORKS is recommended by the #1 Global Influencer and Author

SIMWORKS is recommended by the #1 Global Influencer and Author

Tonsberg Festival In Norway/ Viking/August 2021/Vicinity

Tonsberg Festival In Norway/ Viking/August 2021/Vicinity

Sara Kays - Remember That Night? [Official Music Video]

Sara Kays - Remember That Night? [Official Music Video]

Expertise technique, mode d'emploi

Expertise technique, mode d'emploi

restricting again after one week of binge eating | tw ed

restricting again after one week of binge eating | tw ed

PRIDE - Kendrick Lamar (DAMN)

PRIDE - Kendrick Lamar (DAMN)

S Line - The Whole Lot [Music Video] | Link Up TV

S Line - The Whole Lot [Music Video] | Link Up TV

Imperative sentences | English Grammar | Elearningstudio

Imperative sentences | English Grammar | Elearningstudio

Learn English Words - INQUISITIVE - Meaning, Vocabulary Lesson with Pictures and Examples

Learn English Words - INQUISITIVE - Meaning, Vocabulary Lesson with Pictures and Examples

Every Person

Every Person

Evolution of “That’s All Folks!”

Evolution of “That’s All Folks!”

WINTER MUST HAVES! 2021 HOLIDAY GIFT GUIDE!

WINTER MUST HAVES! 2021 HOLIDAY GIFT GUIDE!

Therapeutic massage vs. relaxation massage | Ohio State Medical Center

Therapeutic massage vs. relaxation massage | Ohio State Medical Center

Enhance Demo Video

Enhance Demo Video

We Dropped A Car On A Giant Axe from 45m (150ft)

We Dropped A Car On A Giant Axe from 45m (150ft)

Inglourious Basterds

Inglourious Basterds

Price Competition

Price Competition

Possibly

Possibly

DO THIS DAILY To Prevent Disease, Fight Viruses & REDUCE INFLAMMATION! | Roger Seheult

DO THIS DAILY To Prevent Disease, Fight Viruses & REDUCE INFLAMMATION! | Roger Seheult

Highly Suspect - Lydia [Official Video]

Highly Suspect - Lydia [Official Video]

MOM VS. DAD || Clever Parenting Tricks And Gadgets You'll Be Grateful For || Easy Kids Training

MOM VS. DAD || Clever Parenting Tricks And Gadgets You'll Be Grateful For || Easy Kids Training