research
∙
11/18/2020
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks
In this work, we present an early prototype of NeVer 2.0, a new system f...
research
∙
03/17/2020