Autor Yovine, Sergio

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
3-jun-2024Active Learning of Regular Languages as an Approach to Neural Language Models VerificationTesis de doctoradoMayr, Franz
nov-2022Active Learning Over Large AlphabetsTrabajo final de gradoVilensky, Federico
sep-2021An Assessment of the Application of Private Aggregation of Ensemble Models to Sensible DataArtículoYovine, Sergio; Mayr, Franz; Sosa, Sebastián; Visca, Ramiro
3-may-2024Analysis, Evaluation and Improvement of Active Regular Inference Algorithms for Neural Sequence AcceptorsTrabajo final de gradoda Silva, Juan Pedro; Iturbide, Martín; Garat, Alejo
7-jul-2024Analyzing constrained LLM through PDFA-learningPreprintCarrasco, Matías; Mayr, Franz; Yovine, Sergio; Kidd, Johny; Iturbide, Martín; da Silva, Juan; Garat, Alejo
sep-2020Análisis y desarrollo de modelos predictivos con redes neuronales para Web Application FirewallTesis de maestríaBiardo, Deborah; González, Guzmán; Lanzotti, Sabrina
ago-2021Application of PATE to Sensible DataOtroMayr, Franz; Sosa, Sebastián; Visca, Ramiro; Yovine, Sergio
10-mar-2022Comparison of LSTM and Transformer Neural Network on multiple approaches for weblogs attack detectionTesis de maestríaMartínez Varsi, Nicolás
ago-2022¿Cómo compartir datos de manera efectiva y privada?Artículo de divulgaciónYovine, Sergio; Mayr, Franz
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
sep-2021Estudio de modelos de privacidad de datosTesis de maestríaVisca, Ramiro
28-mar-2022Implementación de las prácticas de MLOps para PATETesis de maestríaRamas, Javier; Rodríguez, Antonia; Zanotta, Sebastián
28-dic-2021Informe final del proyecto: Anonimización de datos basada en redes generativas antagónicasReporte técnicoYovine, Sergio; Mayr, Franz; Visca Zanoni, Ramiro
27-dic-2022Informe final del proyecto: Herramienta de privatización de datos secuenciales para su aplicación en la detección de anomalías colectivas en ciberseguridadReporte técnicoYovine, Sergio; Mayr, Franz; Martínez Varsi, Nicolás; Visca Zanoni, Ramiro; Pisani, Mikaela; Pan Suarez, Federico
oct-2021On the specification and verification of the PCR parallel programming pattern in TLA+Tesis de maestríaSolsona, José E.
ago-2020On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural NetworksDocumento de conferenciaMayr, Franz; Yovine, Sergio; Visca, Ramiro
feb-2021Property Checking with Interpretable Error Characterization for Recurrent Neural NetworksArtículoMayr, Franz; Yovine, Sergio; Visca, Ramiro
ago-2020Property Checking with Interpretable Error Characterization for Recurrent Neural NetworksDocumento de conferenciaMayr, Franz; Visca, Ramiro; Yovine, Sergio
nov-2022Prototipo de “Application of Private Aggregation of Ensemble Models to Sensible Data” en la plataforma PySyft de OpenMinedDocumento de trabajoPisani, Mikaela; Yovine, Sergio
Mostrando resultados 1 a 20 de 23