Search Results - Mayr, Franz

Property Checking with Interpretable Error Characterization for Recurrent Neural Networks by Mayr, Franz

Get full text
Get full text

A Congruence-based Approach to Active Automata Learning from Neural Language Models code repository by Mayr, Franz

Get full text

Results of Neural-Checker Toolbox in Taysir 2023 Competition code repository by Mayr, Franz

Get full text

Active Learning of Regular Languages as an Approach to Neural Language Models Verification by Mayr, Franz

Get full text

Active learning of regular languages as an approach to neural language models verification. by Mayr, Franz

Get full text

Informe final del proyecto: Anonimización de datos basada en redes generativas antagónicas by Yovine, Sergio

Other Authors: “…Mayr, Franz…”
Get full text

An Assessment of the Application of Private Aggregation of Ensemble Models to Sensible Data by Yovine, Sergio

Other Authors: “…Mayr, Franz…”
Get full text
Get full text

Informe final del proyecto: Herramienta de privatización de datos secuenciales para su aplicación en la detección de anomalías colectivas en ciberseguridad by Yovine, Sergio

Other Authors: “…Mayr, Franz…”
Get full text

Analyzing constrained LLM through PDFA-learning experiments repository by Carrasco, Matías

Other Authors: “…Mayr, Franz…”
Get full text

Informe final del proyecto: Verificación de Sistemas Inteligentes con Componentes con Capacidad de Aprendizaje by Yovine, Sergio

Other Authors: “…Mayr, Franz…”
Get full text