#α-crown

Escalando verificación de redes neuronales con TP y FSDP

Descubre cómo el paralelismo tensorial y FSDP reducen hasta un 90% el uso de memoria GPU en la verificación formal de redes neuronales, acelerando la prueba de