Tubidy
    HCSS 2020 talk "Geometric Path Enumeration Methods for Verifying ReLU Neural Networks"

    HCSS 2020 talk "Geometric Path Enumeration Methods for Verifying ReLU Neural Networks"

    24:11 |
    Download MP3

    Related Videos

    AI Institute Seminar : Stanley Bak 1:11:03

    AI Institute Seminar : Stanley Bak

    "Simulation-Equivalent Reachability of Large Linear Systems with Inputs" Stanley Bak | CAV 2017 19:36

    "Simulation-Equivalent Reachability of Large Linear Systems with Inputs" Stanley Bak | CAV 2017

    Stanley Bak, Air Force Rome Labs – part 1 of 3 – HSSCPS 2017 42:24

    Stanley Bak, Air Force Rome Labs – part 1 of 3 – HSSCPS 2017

    CAADCPS 2021 | Stanley Bak 30:10

    CAADCPS 2021 | Stanley Bak

    Stanley Bak, Air Force Rome Labs – part 3 of 3 – HSSCPS 2017 52:10

    Stanley Bak, Air Force Rome Labs – part 3 of 3 – HSSCPS 2017

    Stanley Bak, Air Force Rome Labs – part 2 of 3 – HSSCPS 2017 47:10

    Stanley Bak, Air Force Rome Labs – part 2 of 3 – HSSCPS 2017

    What Can We Prove About Neural Networks? with Professor Stanley Bak 1:11:03

    What Can We Prove About Neural Networks? with Professor Stanley Bak

    Neural Network Execution Animation 0:41

    Neural Network Execution Animation

    stanley bak sezam 9:22

    stanley bak sezam

    "Execution-Guided Overapproximation (EGO) for Neural Network Verification" | VNN 2020 17:35

    "Execution-Guided Overapproximation (EGO) for Neural Network Verification" | VNN 2020

    Stanley Bak at PLUS Festival 2012 3:43

    Stanley Bak at PLUS Festival 2012

    VNN2020 presentation 17:35

    VNN2020 presentation

    FORMATS 2020 Presentation 19:15

    FORMATS 2020 Presentation

    Unsafe case with a slow intruder 0:17

    Unsafe case with a slow intruder

    "Improved Geometric Path Enumeration for Verifying ReLU Neural Networks" - CAV2020 Presentation - 16:05

    "Improved Geometric Path Enumeration for Verifying ReLU Neural Networks" - CAV2020 Presentation -

    HCSS 2020 talk "Geometric Path Enumeration Methods for Verifying ReLU Neural Networks" 24:12

    HCSS 2020 talk "Geometric Path Enumeration Methods for Verifying ReLU Neural Networks"

    Hylaa Reachability Computation on the Drivetrain Model 1:10

    Hylaa Reachability Computation on the Drivetrain Model

    Unsafe case where safety system causes a crash 0:08

    Unsafe case where safety system causes a crash

    Unsafe case with an immediate turn command 0:07

    Unsafe case with an immediate turn command

    Closed Loop ACAS Xu Simulations 0:34

    Closed Loop ACAS Xu Simulations