The code for paper "ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks" appearing in FMCAD'20. See https://github.com/XuankangLin/ART.
Content type
Image
Digest
Size
1.7 GB
Last updated
over 5 years ago
docker pull xuankanglin/art