[The SwarmHost Framework] A Unified Framework for Neural Network Verification

The SwarmHost framework is a unified framework for neural network verification. It has been effectively employed by various research tools including GDVB, AdaGDVB, and OCTOPUS. This framework offers a standardized set of inputs and APIs that facilitate three key functionalities: 1) the generation of verification properties, 2) the execution of verifiers, and 3) the analysis of their outcomes. At present, it supports five verification tools namely abcrown, mn-bab, nnenun, verinet, and neuralsat. Furthermore, the SwarmHost framework is continuously evolving with the addition of new tools, features, and documentation. Please consult our SwarmHost GitHub repository for ongoing development.