NeVer2: Learning and Verification of Neural Networks

Published in Soft Computing, to appear, 2024, 2024

Recommended citation: S. Demarchi, D. Guidotti, L. Pulina and A. Tacchella (2024), "NeVer2: Learning and Verification of Neural Networks." in Soft Computing, to appear, 2024.

We showcase our tool NeVer2 along with a complete experimental campaign.