Spezifikation und Verifikation von Analysen neuronaler Netzwerke mit ConstraintFlow

ConstraintFlow ist eine deklarative DSL, mit der Entwickler leicht verschiedene bestehende und neue abstrakte Domänen und Transformatoren für die Zertifizierung neuronaler Netzwerke definieren können. ConstraintFlow ermöglicht auch die automatische Verifikation der Soundness der in ConstraintFlow geschriebenen Zertifizierer für beliebige (aber begrenzte) DNN-Architekturen.