jia-kai/realadv

Code for the SAS 2021 paper Exploiting Verified Neural Networks via Floating Point Numerical Error.

No README found.

Python89.4%C++4.7%Julia3.4%Shell1.5%Cython0.9%Makefile0.1%

Created March 6, 2020

Updated July 21, 2023