Property Checking with Interpretable Error Characterization for Recurrent Neural Networks

 

Autor(es):

Tipo:

Conferencia

Versión:

Publicado

Año:

2020

Idioma:

Inglés

Temas:

Artificial intelligence
Machine Learning
Verification
Ciencias Naturales y Exactas
Ciencias de la Computación e Información

Institución:

Agencia Nacional de Investigación e Innovación

Repositorio:

REDI

Enlace(s):

https://hdl.handle.net/20.500.12381/458

Nivel de acceso:

Licencia:

Reconocimiento-NoComercial 4.0 Internacional. (CC BY-NC)