Full name Familienname, Vorname
Zhu, He
 
Main Affiliation Organisations­zuordnung
 

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
122_ART Abstraction Refinement_Guided Training for Provably Correct Neural Networks.pdf.jpgLin, Xuankang ; Zhu, He ; Samanta, Roopsha ; Jagannathan, Suresh ART: Abstraction Refinement-Guided Training for Provably Correct Neural NetworksKonferenzbeitrag Inproceedings 2020