Harnessing Neuron Stability to Improve DNN Verification

Open Webpage

Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer

Published: 01 Jan 2024, Last Modified: 11 May 2025Proc. ACM Softw. Eng. 2024EveryoneRevisionsBibTeXCC BY-SA 4.0