Provable Preimage Under-Approximation for Neural Networks

Xiyue Zhang, Benjie Wang, Marta Kwiatkowska

Research output: Working paper › Preprint

6 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Provable Preimage Under-Approximation for Neural Networks'. Together they form a unique fingerprint.

Computer Science