NeuralVerification.jl: Algorithms for Verifying Deep Neural Networks

by

· May 6, 2019 · 143 views ·

ICLR 2019

<div id="presentation-embed-38915707"></div>
<script src='https://slideslive.com/embed_presentation.js'></script>
<script>
    embed = new SlidesLiveEmbed('presentation-embed-38915707', {
        presentationId: '38915707',
        autoPlay: false, // change to true to autoplay the embedded presentation
        verticalEnabled: true
    });
</script>