Sign in
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