Name Card

Full name Familienname, Vorname
Jagannathan, Suresh
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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