Autor Carrasco, Matías

Fecha de publicaciónTítuloTipoAutor(es)
jul-2023A Congruence-based Approach to Active Automata Learning from Neural Language ModelsDocumento de conferenciaMayr, Franz; Yovine, Sergio; Carrasco, Matías; Pan, Federico; Vilensky, Federico
7-jul-2024Analyzing constrained LLM through PDFA-learningPreprintCarrasco, Matías; Mayr, Franz; Yovine, Sergio; Kidd, Johny; Iturbide, Martín; da Silva, Juan; Garat, Alejo
ago-2024Un enfoque para mejorar el proceso de prompt engineering en aplicaciones basadas en LLMDocumento de trabajoBraberman, Víctor; Uchitel, Sebastián; Carrasco, Matías; Mayr, Franz; Yovine, Sergio
jul-2023Results of Neural-Checker Toolbox in Taysir 2023 CompetitionDocumento de conferenciaMayr, Franz; Yovine, Sergio; Carrasco, Matías; Garat, Alejo; Iturbide, Martín; da Silva, Juan; Vilensky, Federico
Mostrando resultados 1 a 4 de 4