Edoardo Manino

Este informe habla sobre métodos para mejorar la seguridad de la memoria en redes neuronales de IA.

Este estudio examina cómo el análisis de intervalos mejora la efectividad de la Verificación de Modelos Acotados.