Browsing by Author Lin, Xuankang

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