most citedVerifying DNN-based Semantic Communication Against Generative Adversarial Noise

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

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2026

CLAD: Constrained Abstract Domain for Neural Network Verification

Hai Duong, Thanh Le, ThanhVu Nguyen

Neural network verification (NNV) formally verifies that a network satisfies a specified property for all inputs within a defined region. Modern NNV tools employ abstract domains t…