Certifiers make neural networks vulnerable to availability attacks

To achieve reliable, robust, and safe AI systems, it is vital to implement fallback strategies when AI predictions cannot be trusted. Certifiers for neural networks are a reliable way to check the robustness of these predictions. They guarantee for some predictions that a certain class of manipulati...

Ամբողջական նկարագրություն

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Lorenz, T, Kwiatkowska, M, Fritz, M
Ձևաչափ: Conference item
Լեզու:English
Հրապարակվել է: Association for Computing Machinery 2023