ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses

Avaljot Singh, Yasmin Sarita, Charith Mendis +1

We develop a declarative DSL - \cf - that can be used to specify Abstract Interpretation-based DNN certifiers. In \cf, programmers can easily define various existing and new abstra…