Lucas C. Cordeiro

Uno studio rivela vulnerabilità nel codice prodotto da modelli di linguaggio grandi.

Questo rapporto parla di metodi per migliorare la sicurezza della memoria nelle reti neurali AI.

Questo studio esamina come l'analisi degli intervalli migliori l'efficacia del Bounded Model Checking.

ESBMC-Python aiuta a verificare la correttezza del codice Python usando le annotazioni di tipo e il controllo modello limitato.

Un nuovo approccio migliora il Federated Learning generando dati sintetici e proteggendo la privacy.