Complejidad en verificación de robustez de BNN
Descubre los resultados de complejidad para verificar robustez en redes neuronales binarizadas: NP-completo en general, pero polinómico ante oclusión uniforme.
Descubre los resultados de complejidad para verificar robustez en redes neuronales binarizadas: NP-completo en general, pero polinómico ante oclusión uniforme.