An Abstract Domain for Certifying Neural Networks

Date:

Direct Link