Lucas C. Cordeiro

Un estudio revela vulnerabilidades en el código producido por modelos de lenguaje grandes.

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.

ESBMC-Python ayuda a verificar la corrección del código Python usando anotaciones de tipo y verificación de modelo acotado.

Un nuevo enfoque mejora el Aprendizaje Federado al generar datos sintéticos y proteger la privacidad.