Published April 13, 2025
| Version v1
Software
Open
Artifact accompanying the paper "A Formally Verified Robustness Certifier for Neural Networks"
Authors/Creators
-
1.
University of Queensland
-
2.
University of Melbourne