3 citations · 7 across the 9 of their papers we have counts for
1 paper · 2 filters
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…