ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks

Tianhao Wei, Hanjiang Hu, Luca Marzari, Kai S. Yun, Peizhi Niu +2 more
6/30/2024
cs.LGcs.SE

No confident code implementation found for this paper.

Abstract

Deep Neural Networks (DNN) are crucial in approximating nonlinear functions across diverse applications, ranging from image classification to control. Verifying specific input-output properties can be a highly challenging task due to the lack of a single, self-contained framework that allows a complete range of verification types. To this end, we present \texttt{ModelVerification.jl (MV)}, the first comprehensive, cutting-edge toolbox that contains a suite of state-of-the-art methods for verifying different types of DNNs and safety specifications. This versatile toolbox is designed to empower developers and machine learning practitioners with robust tools for verifying and ensuring the trustworthiness of their DNN models.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Model-Agnostic Reachability Analysis on Deep Neural Networks

82% match2023

Verifying Generalization in Deep Learning

81% match2023

A Unified View of Piecewise Linear Neural Network Verification

81% match1 repo352017

A DPLL(T) Framework for Verifying Deep Neural Networks

81% match1 repo372023

TeleSparse: Practical Privacy-Preserving Verification of Deep Neural Networks

81% match1 repo42025

Incremental Verification of Neural Networks

81% match1 repo112023

Cite this paper

@article{wei2024modelverificationjl,
  title  = {ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks},
  author = {Tianhao Wei and Hanjiang Hu and Luca Marzari and Kai S. Yun and Peizhi Niu and Xusheng Luo and Changliu Liu},
  year   = {2024},
  eprint = {2407.01639},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2407.01639v2}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2407.01639.svg)](https://codeofpaper.com/paper/2407.01639)

Discussion