Published August 21, 2024 | Version v1
Software Open

An SMT-Based Approach for Verifying Binarized Neural Networks: Artifact

  • 1. ROR icon Hebrew University of Jerusalem
  • 2. ROR icon Stanford University

Description

This repository includes an accompanying artifact to our paper: ``An SMT-Based Approach for Verifying Binarized Neural Networks'' (accepted to TACAS 2021)

 

For specific instructions, please unzip the artifact and read the README.txt file.

 

For technical questions --- contact us at guy.amir2@mail.huji.ac.il

Files

artifact.zip

Files (455.3 MB)

Name Size Download all
md5:d7684fe345bdd3dd8b2fcb0fd2aa3f61
455.3 MB Preview Download