A DPLL(T) Framework for Verifying Deep Neural Networks.

Hai Duong Linhan Li ThanhVu Nguyen Matthew B. Dwyer

Published in: CoRR (2023)

Keyphrases

neural network
main contribution
conceptual framework
data mining
case study
pattern recognition
database
knowledge base
web services
search algorithm
first order logic
neural network model
search tree
propositional logic
fuzzy systems
deep learning