At a Glance
| Applications | Neural Net Verifier |
| Interfaces | CLI |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Description
DNNF is a tool for applying falsification methods such as adversarial attacks to the checking of DNN correctness problems.
| Applications | Neural Net Verifier |
| Interfaces | CLI |
| Licenses | MIT |
| Maintenance | Actively Maintained |
DNNF is a tool for applying falsification methods such as adversarial attacks to the checking of DNN correctness problems.