Login / Signup
FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks.
Mahum Naseer
Mishal Fatima Minhas
Faiq Khalid
Muhammad Abdullah Hanif
Osman Hasan
Muhammad Shafique
Published in:
DATE (2020)
Keyphrases
</>
formal analysis
noise tolerance
neural network
training process
noise tolerant
artificial neural networks
agent model
formal methods
training set
ban logic
input data
neural network model
corner detectors
lower bound
back propagation
candidate pruning