Training for Verification: Increasing Neuron Stability to Scale DNN Verification.

Dong Xu Nusrat Jahan Mozumder Hai Duong Matthew B. Dwyer

Published in: TACAS (3) (2024)

Keyphrases

training process
model checking
face verification
supervised learning
neural network
decision trees
training set
verification method
concurrent systems
asynchronous circuits
database
scale space