The Fundamental Limits of Neural Networks for Interval Certified Robustness

Matthew Mirman, Maximilian Baader, Martin T. Vechev. The Fundamental Limits of Neural Networks for Interval Certified Robustness. Trans. Mach. Learn. Res., 2022, 2022. [doi]

Authors

Matthew Mirman

This author has not been identified. Look up 'Matthew Mirman' in Google

Maximilian Baader

This author has not been identified. Look up 'Maximilian Baader' in Google

Martin T. Vechev

This author has not been identified. Look up 'Martin T. Vechev' in Google