| Fecha de publicación | Título | Tipo | Autor(es) |
| 3-may-2024 | Analysis, Evaluation and Improvement of Active Regular Inference Algorithms for Neural Sequence Acceptors | Trabajo final de grado | da Silva, Juan Pedro; Iturbide, Martín; Garat, Alejo |
| 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 |
| 12-dic-2024 | Informe final del proyecto: Verificación de Sistemas Inteligentes con Componentes con Capacidad de Aprendizaje | Reporte técnico | Yovine, Sergio; Carrasco Piaggio, Matías; Mayr, Franz; Uchitel, Sebastián; Braberman, Victor; Gagliardi, Hernán; Martínez Varsi, Nicolás; Pan Suarez, Federico; Sanchez, Marco; Delgado, Tomás; Vilensky, Federico; Würth, Mateus; Dandois, Santiago José; Molinolo, Matías; Kidd, Johny; Da Silva Barloco, Juan Pedro; Garat, Alejo; Iturbide Noria, Martín |
| 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 |
