At a Glance
| Applications | Neural Net Verifier |
| Interfaces | CLI |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Description
VeRAPAk is an algorithmic framework for optimizing formal verification techniques for deep neural networks when it is used for verifying the local adversarial robustness property of classification problems.