NNV3: Expanding Neural Network Verification to New Architectures and Domains

arXiv cs.AI · 25 sept, 06:00

Se presenta NNV3, la última versión del framework MATLAB para verificación formal de modelos de aprendizaje profundo y sistemas ciber-físicos habilitados por IA. La herramienta extiende su capacidad de verificación a nuevas arquitecturas (redes neuronales convolucionales, recurrentes, ODEs neuronales, redes de grafos) y dominios como detección de malware, sistemas de potencia, imagenología médica y reconocimiento de acciones.