Art: Abstraction Refinement-Guided Training for Provably Correct Neural Networks.

Xuankang Lin, He Zhu, Roopsha Samanta, Suresh Jagannathan

Browse the full FMCAD paper archive.