Towards an Effective and Interpretable Refinement Approach for DNN Verification.

Jiaying Li Guangdong Bai Long H. Pham Jun Sun

Published in: QRS (2023)

Keyphrases

high quality
database
website
natural language
databases
information systems
multimedia
bayesian networks
search algorithm
relational databases
artificial neural networks
learning process
evolutionary algorithm
model checking
classification rules