Login / Signup
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems.
Chao Huang
Jiameng Fan
Xin Chen
Wenchao Li
Qi Zhu
Published in:
CoRR (2021)
Keyphrases
</>
neural network
distributed systems
main contribution
artificial intelligence
knowledge base
artificial neural networks
feature extraction
knn
back propagation
computational model
multi layer