Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025
Automated Verification of Soundness of DNN Certifiers
Avaljot Singh, Yasmin Chandini Sarita, Charith Mendis +1
The uninterpretability of Deep Neural Networks (DNNs) hinders their use in safety-critical applications. Abstract Interpretation-based DNN certifiers provide promising avenues for…
cs.PL2024
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…