Learning Minimal NAP Specifications for Neural Network Verification.

Chuqin Geng Zhaoyue Wang Haolin Ye Saifei Liao Xujie Si

Published in: CoRR (2024)

Keyphrases

neural network
learning algorithm
feedforward neural networks
learning process
learning systems
neural nets
e learning
decision trees
active learning
learning rules
inductive inference
cascade correlation
data sets
multi layer
learning experience
supervised learning
reinforcement learning
genetic algorithm