Fecha de publicación | Título | Tipo | Autor(es) |
jul-2023 | A Congruence-based Approach to Active Automata Learning from Neural Language Models | Documento de conferencia | Mayr, Franz; Yovine, Sergio; Carrasco, Matías; Pan, Federico; Vilensky, Federico |
7-jul-2024 | Analyzing constrained LLM through PDFA-learning | Preprint | Carrasco, Matías; Mayr, Franz; Yovine, Sergio; Kidd, Johny; Iturbide, Martín; da Silva, Juan; Garat, Alejo |
jul-2023 | Results of Neural-Checker Toolbox in Taysir 2023 Competition | Documento de conferencia | Mayr, Franz; Yovine, Sergio; Carrasco, Matías; Garat, Alejo; Iturbide, Martín; da Silva, Juan; Vilensky, Federico |