Neural network verification with Z3 in Python by Sabina Jedrzejczyk

preview_player
Показать описание
A tutorial delivered on the Sapphire tool as part of Heriot-Watt University's Masterclass program.

Abstract:
  1. Lab for AI Verification
Рекомендации по теме
Neural network verification 1:30:41

Neural network verification with Z3 in Python by Sabina Jedrzejczyk

Methods to Soundly 0:18:08

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

What Does It 0:28:34

What Does It Mean to “Verify” a Neural Network?

Verification of Image-based 0:15:31

Verification of Image-based Neural Network Controllers using Generative Models

DNNV: A Framework 0:20:36

DNNV: A Framework for Deep Neural Network Verification

Towards Verifying Robustness 0:05:00

Towards Verifying Robustness of Neural Networks Against A Family of Semantic Perturbations

How We Trust 0:27:57

How We Trust a Black Box: Formal Verification of Deep Neural Networks – Huan Zhang

Joseph Huchette: 'Neural 0:25:47

Joseph Huchette: 'Neural network verification as piecewise linear optimization'

Efficient Verification of 0:09:50

Efficient Verification of Neural Networks against LVM-based Specifications

ReluDiff: Differential Verification 0:08:33

ReluDiff: Differential Verification of Deep Neural Networks

Neural Network projection 0:08:59

Neural Network projection line: Part 2 - verification models

3.5 Software Demonstration: 0:41:32

3.5 Software Demonstration: Marabou

[VMCAI'23] SMT-Based Modeling 0:15:29

[VMCAI'23] SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study

Neural Network Robustness 0:47:19

Neural Network Robustness – Careful what you verify! - Dr Matthew Daggitt

FM'21 | Session 0:15:17

FM'21 | Session 2 : Probabilistic Verification of Neural Networks Against Group Fairness

Scalable Quantitative Verification 0:19:34

Scalable Quantitative Verification for Deep Neural Networks

'Safety Verification of 1:11:13

'Safety Verification of Deep Neural Networks' Marta Kwiatkowska | CAV 2017

FMAS 2021 - 1:00:55

FMAS 2021 - Understanding and Verifying Deep Neural Networks

CPAIOR 2021 Master 1:03:53

CPAIOR 2021 Master Class: Safety in AI Systems - SMT-Based Verification of Deep Neural Networks

'Reluplex: An Efficient 0:18:05

'Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks' Guy Katz | CAV 2017

Learning to Solve 0:31:51

Learning to Solve SMT Formulas

2021-03-26, Refutation-based Adversarial 1:03:27

2021-03-26, Refutation-based Adversarial Robustness Verification of Deep Neural Networks

[SAS] CLEVEREST: Accelerating 0:28:24

[SAS] CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks

Safety Verification for 1:00:27

Safety Verification for Deep Neural Networks (ICST2018)