Title: ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks
Authors: Lin, Xuankang 
Zhu, He 
Samanta, Roopsha 
Jagannathan, Suresh 
Editors: Ivrii, Alexander 
Strichman, Ofer 
Issue Date: 2020
Book Title: Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 
Series: Conference Series: Formal Methods in Computer-Aided Design 
Keywords: computer-aided system design
URI: http://hdl.handle.net/20.500.12708/15518
DOI: 10.34727/2020/isbn.978-3-85448-042-6_22
License: CC BY 4.0 CC BY 4.0
Publication Type: Inproceedings
Appears in Collections:Conference Paper
Open Access Series

Files in this item:

File Description SizeFormat
22_ART Abstraction Refinement_Guided Training for Provably Correct Neural Networks.pdfPublished version452.16 kBAdobe PDFThumbnail
Show full item record

Page view(s)

checked on May 17, 2021


checked on May 17, 2021

Google ScholarTM


This item is licensed under a Creative Commons License Creative Commons