Fast and Effective Robustness Certification

Gagandeep Singh, Timon Gehr, Matthew Mirman, Markus Püschel, Martin Vechev

Nov-20-2025, 21:11:19 GMT–Neural Information Processing Systems

These benefits are due to carefully designed approximations tailored to the setting of neural networks.

artificial intelligence, machine learning, neural network, (16 more...)

Neural Information Processing Systems

Nov-20-2025, 21:11:19 GMT

Conferences PDF

Country:
- Asia (0.04)
- Europe > Switzerland
  - Zürich > Zürich (0.14)
- North America > Canada
  - Ontario > Toronto (0.14)
  - Quebec > Montreal (0.04)

Genre:
- Research Report > New Finding (0.46)

Industry:
- Information Technology > Security & Privacy (0.47)

Technology:
- Information Technology > Artificial Intelligence > Machine Learning > Neural Networks (1.00)