%0 Conference Paper %1 conf/fmcad/LinZSJ20 %A Lin, Xuankang %A Zhu, He %A Samanta, Roopsha %A Jagannathan, Suresh %B FMCAD %D 2020 %I IEEE %K dblp %P 148-157 %T Art: Abstraction Refinement-Guided Training for Provably Correct Neural Networks. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2020.html#LinZSJ20 %@ 978-3-85448-042-6

@inproceedings{conf/fmcad/LinZSJ20, added-at = {2021-01-14T00:00:00.000+0100}, author = {Lin, Xuankang and Zhu, He and Samanta, Roopsha and Jagannathan, Suresh}, biburl = {https://www.bibsonomy.org/bibtex/29f6c5fa59135cf1352308f6a708b6396/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2020}, ee = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_22}, interhash = {0c1c2d086e7464e377b55afa205e44e2}, intrahash = {9f6c5fa59135cf1352308f6a708b6396}, isbn = {978-3-85448-042-6}, keywords = {dblp}, pages = {148-157}, publisher = {IEEE}, timestamp = {2024-04-09T23:58:38.000+0200}, title = {Art: Abstraction Refinement-Guided Training for Provably Correct Neural Networks.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2020.html#LinZSJ20}, year = 2020 }