Results of Neural-Checker Toolbox in Taysir 2023 Competition
Resumen:
This paper presents the results obtained with the Neural-Checker toolbox in the Taysir 2023 challenge. It briefly describes the two tracks of the competition and the specific techniques that yielded the best results with respect to the corresponding scoring metrics.
2023 | |
Agencia Nacional de Investigación e Innovación | |
Artificial intelligence Active learning Neural language models Ciencias Naturales y Exactas Ciencias de la Computación e Información Ciencias de la Computación |
|
Inglés | |
Agencia Nacional de Investigación e Innovación | |
REDI | |
https://hdl.handle.net/20.500.12381/3420 | |
Acceso abierto | |
Reconocimiento 4.0 Internacional. (CC BY) |
Resultados similares
-
A Congruence-based Approach to Active Automata Learning from Neural Language Models
Autor(es):: Mayr, Franz
Fecha de publicación:: (2023) -
On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural Networks
Autor(es):: Mayr, Franz
Fecha de publicación:: (2020) -
Property Checking with Interpretable Error Characterization for Recurrent Neural Networks
Autor(es):: Mayr, Franz
Fecha de publicación:: (2020) -
Towards Efficient Active Learning of PDFA
Autor(es):: Mayr, F.
Fecha de publicación:: (2022) -
Active Learning Over Large Alphabets
Autor(es):: Vilensky, Federico
Fecha de publicación:: (2022)