Certifying geometric robustness of neural networks

Mislav Balunovic, Maximilian Baader, Gagandeep Singh, Timon Gehr, Martin Vechev

Research output: Contribution to journalConference articlepeer-review

Fingerprint

Dive into the research topics of 'Certifying geometric robustness of neural networks'. Together they form a unique fingerprint.

Engineering & Materials Science