prdnn (pypi): Provable Repair of DNNs
Keywords: class|attribute|boilerplate|deep-neural-networks|imagenet|mnist|provable-repair