Youcheng Sun

QNNRepair migliora l'accuratezza delle reti neurali dopo la quantizzazione.

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

Un nuovo metodo migliora il testing dei DNN combinando la selezione delle caratteristiche con la prioritizzazione basata sull'incertezza.

Scopri come funzionano i classificatori delle immagini e perché le loro decisioni sono importanti.

Un nuovo framework di fuzz testing migliora la sicurezza e l'efficienza dei droni.