most citedAutomated Verification of Soundness of DNN Certifiers

3 citations · 5 across the 5 of their papers we have counts for

collaborators
Showing cs.CLShow all

1 paper · 1 filter

cs.CL2025

Automatic Tensor-level Execution of Abstract Interpreters for Neural Networks

Avaljot Singh, Yasmin Chandini Sarita, Yamin Chandini Sarita +4

Developing new abstract interpretation-based DNN certifiers is difficult because their mathematical design is expressed at the neuron level, while implementations must operate at t…