Xuankang Lin, He Zhu 0001, Roopsha Samanta, Suresh Jagannathan. Art: Abstraction Refinement-Guided Training for Provably Correct Neural Networks. In 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020. pages 148-157, IEEE, 2020. [doi]
Abstract is missing.