Harnessing Neuron Stability to Improve DNN Verification.

Hai Duong Dong Xu ThanhVu Nguyen Matthew B. Dwyer

Published in: Proc. ACM Softw. Eng. (2024)

Keyphrases

data sets
neural network
e learning
stability analysis
real world
information retrieval
artificial intelligence
information systems
support vector