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

A Singh, Y Sarita, C Mendis, G Singh - arXiv preprint arXiv:2403.18729, 2024 - arxiv.org
The uninterpretability of DNNs hinders their deployment to safety-critical applications.
Recent works have shown that Abstract-Interpretation-based formal certification techniques …
被引用次数：1 相关文章

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

A Singh, Y Sarita, C Mendis, G Singh - arXiv e-prints, 2024 - ui.adsabs.harvard.edu
The uninterpretability of DNNs hinders their deployment to safety-critical applications.
Recent works have shown that Abstract-Interpretation-based formal certification techniques …