Efficient Symbolic Reasoning for Neural-Network Verification.

Zi Wang Somesh Jha Krishnamurthy Dvijotham

Published in: CoRR (2023)

Keyphrases

neural network
symbolic reasoning
genetic algorithm
data sets
artificial neural networks
diagrammatic reasoning
data mining
artificial intelligence
data analysis
knowledge acquisition
production rules