Active Learning of Regular Languages as an Approach to Neural Language Models Verification

El presente trabajo aborda el problema general de la verificación del comportamiento de redes neuronales que procesan secuencias, en concreto los aceptores neuronales y los modelos neuronales de lenguaje. La tesis desarrolla un marco teórico-práctico para la extracción de abstracciones formales y la...

Full description

Bibliographic Details

Main Author:	Mayr, Franz (author)
Format:	doctoralThesis
Language:	English
Published:	2024
Subjects:	Inteligencia artificial Inferencia regular Verificación Aprendizaje automático Inferencia gramatical Ciencias Naturales y Exactas Ciencias de la Computación e Información
Online Access:	https://hdl.handle.net/20.500.12381/3622
Tags:	Add Tag No Tags, Be the first to tag this record!