Verification of Neural Networks: Enhancing Scalability Through Pruning.

Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella

Browse the full ECAI paper archive.