Art: Abstraction Refinement-Guided Training for Provably Correct Neural Networks. - Xuankang Lin; He Zhu 001; Roopsha Samanta; Suresh Jagannathan (FMCAD, 2020)