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 |
3-jun-2024 | Active Learning of Regular Languages as an Approach to Neural Language Models Verification | Tesis de doctorado | Mayr, Franz |
nov-2022 | Active Learning Over Large Alphabets | Trabajo final de grado | Vilensky, Federico |
sep-2021 | An Assessment of the Application of Private Aggregation of Ensemble Models to Sensible Data | Artículo | Yovine, Sergio; Mayr, Franz; Sosa, Sebastián; Visca, Ramiro |
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 |
sep-2020 | Análisis y desarrollo de modelos predictivos con redes neuronales para Web Application Firewall | Tesis de maestría | Biardo, Deborah; González, Guzmán; Lanzotti, Sabrina |
ago-2021 | Application of PATE to Sensible Data | Otro | Mayr, Franz; Sosa, Sebastián; Visca, Ramiro; Yovine, Sergio |
10-mar-2022 | Comparison of LSTM and Transformer Neural Network on multiple approaches for weblogs attack detection | Tesis de maestría | Martínez Varsi, Nicolás |
ago-2022 | ¿Cómo compartir datos de manera efectiva y privada? | Artículo de divulgación | Yovine, Sergio; Mayr, Franz |
ago-2024 | Un enfoque para mejorar el proceso de prompt engineering en aplicaciones basadas en LLM | Documento de trabajo | Braberman, Víctor; Uchitel, Sebastián; Carrasco, Matías; Mayr, Franz; Yovine, Sergio |
sep-2021 | Estudio de modelos de privacidad de datos | Tesis de maestría | Visca, Ramiro |
28-mar-2022 | Implementación de las prácticas de MLOps para PATE | Tesis de maestría | Ramas, Javier; Rodríguez, Antonia; Zanotta, Sebastián |
28-dic-2021 | Informe final del proyecto: Anonimización de datos basada en redes generativas antagónicas | Reporte técnico | Yovine, Sergio; Mayr, Franz; Visca Zanoni, Ramiro |
27-dic-2022 | 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 | Reporte técnico | Yovine, Sergio; Mayr, Franz; Martínez Varsi, Nicolás; Visca Zanoni, Ramiro; Pisani, Mikaela; Pan Suarez, Federico |
oct-2021 | On the specification and verification of the PCR parallel programming pattern in TLA+ | Tesis de maestría | Solsona, José E. |
ago-2020 | On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural Networks | Documento de conferencia | Mayr, Franz; Yovine, Sergio; Visca, Ramiro |
feb-2021 | Property Checking with Interpretable Error Characterization for Recurrent Neural Networks | Artículo | Mayr, Franz; Yovine, Sergio; Visca, Ramiro |
ago-2020 | Property Checking with Interpretable Error Characterization for Recurrent Neural Networks | Documento de conferencia | Mayr, Franz; Visca, Ramiro; Yovine, Sergio |
nov-2022 | Prototipo de “Application of Private Aggregation of Ensemble Models to Sensible Data” en la plataforma PySyft de OpenMined | Documento de trabajo | Pisani, Mikaela; Yovine, Sergio |