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 2026-06-16 · 3 min
