Browsing by Author Jagannathan, Suresh

Showing results 1 to 1 of 1
Authors / EditorsTitleTypeIssue Date
Lin, Xuankang ; Zhu, He ; Samanta, Roopsha ; Jagannathan, Suresh ; Ivrii, Alexander ; Strichman, Ofer ART: Abstraction Refinement-Guided Training for Provably Correct Neural NetworksInproceedings 2020