Fast and Effective Robustness Certification

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

Feb-15-2026, 05:30:33 GMT–Neural Information Processing Systems

Neural Information Processing Systems http://nips.cc/

approximation, neural network, transformer, (14 more...)

Neural Information Processing Systems

Feb-15-2026, 05:30:33 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)

Duplicate Docs Excel Report

Title
Fast and Effective Robustness Certification
Fast and Effective Robustness Certification

Similar Docs Excel Report more

Title	Similarity	Source
None found