ConstraintFlow: A DSL for Neural Network Analysis Specification and Verification

Developing a declarative DSL, ConstraintFlow, to specify and verify DNN certifiers based on Abstract Interpretation.