TY  - RPRT
TI  - ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks
AU  - Xuankang Lin
AU  - He Zhu
AU  - Roopsha Samanta
AU  - Suresh Jagannathan
PY  - 2020
UR  - https://arxiv.org/abs/1907.10662
ID  - 1907.10662
ER  -