Título: Análisis semántico de performance para auto-formalizaciones generadas por LLMs Director: Víctor Braberman Co-directora: Flavia Bonomo Jurados: Sergio Abriola, Sebastián Uchitel Resumen: En los últimos años, los LLMs (Large Language Models) han experimentado un enorme crecimiento en popularidad, en parte debido a su versatilidad para abordar una gran variedad […]

Título: Clausura conmutativa de lenguajes regulares Directora: Verónica Becher Codirector: Ignacio Mollo Cunningham Jurados: Sergio Abriola y Víctor Braberman Resumen: Consideremos un alfabeto finito. Dos palabras comparten su imagen conmutativa cuando una es permutación de los símbolos de la otra.  La clausura conmutativa de un lenguaje S es el […]

Están todos invitados a la charla de Danae Dutto. "Teoría de la Prueba para Lógicas Modales con Datos“. Jueves 5 de diciembre a las 14 hs, Sala 1604. Resumen:  Los lenguajes modales con datos han ganado una significativa atención en tiempos recientes. Este interés proviene del estudio formal de […]

Título: Aprendizaje Automático y Procesamiento del Lenguaje Natural en la Comunicación Política Online y las Redes Sociales. Director: Esteban Feuerstein Codirector: Leandro Lombardi Consejero de estudios: Matías López y Rosenfeld Jurados: Dr. Ernesto Calvo (Prof., Univ. de Maryland, EE. UU) Dra. María V. Martínez Posse (Inv. Tit., IIA-CSIC, España) […]

Titulo: Explorando las dinámicas de AI Safety via Debate Director: Sergio Abriola Jurados: Esteban Lanzarotti, Victor Braberman Resumen: El desarrollo de sistemas de inteligencia artificial (IA) capaces de comprender y ejecutar tareas complejas requiere que estos sistemas aprendan objetivos y preferencias humanas sofisticadas que no sabemos especificar formalmente. Además, […]

Título: Certificación de Teleportación Cuántica en Escenarios con Ruido: Desarrollo de una Herramienta de Qiskit para Estimar la Distancia Media de Teleportación en Simuladores y Computadoras Cuánticas Director: Gustavo Martin Bosyk Co-Director: Guido Bellomo Jurados: Laura Knoll y Sanitago Cifuentes Resumen: La teleportación cuántica es un protocolo fundamental en […]

Título: Thinness condicionada a órdenes canónicos de ciertas clases de grafos Directora: Flavia Bonomo Co-director: Eric Brandwein Jurados: Pablo Terlisky, Esteban Lanzarotti Resumen: La teoría estructural de grafos consiste en la caracterización de distintas clases de grafos por medio de subgrafos inducidos prohibidos, propiedades de descomposición o de orden […]

Título Páez: Contextualización de palabras ambiguas: comparación del comportamiento humano y de redes basadas en transformers Título Totaro: Contextualización de palabras ambiguas en modelos de lenguaje: generación de significados Director: Bruno Bianchi Co-Director: Juan Kamienkowski Jurados: Francisco Valentini, Laura Alonso Alemany Resumen Conjunto: Los modelos de lenguaje del estado […]

Título: TypeCheckerDragon: Chequeo de Tipos Contextualizados en un Lenguaje de Tipado Dinámico Director: Hernán Wilkinson Co-Director: Agustín Martinez Jurados: Edgardo Zoppi, Juan Pablo Galeotti Resumen: Este trabajo utiliza la información de tipos recolectada e inferida por LiveTyping en Cuis Smalltalk para realizar un chequeo de tipos que tiene por […]

Título: Modelos de programación lineal entera para el problema de enrutamiento y asignación de espectro manycast Director: Javier Marenco Jurados: Gabriela Di Piazza y Federico Pousa Resumen: La creciente demanda de servicios de alta velocidad en redes de comunicaciones ha puesto en el centro de atención la optimización del […]

Título: EvoMaster - Mejoras de Usabilidad Director: Juan P. Galeotti Jurados: Martín Urtasún, Hernán Wilkinson Resumen: En el presente trabajo se introducen dos mejoras de usabilidad a EvoMaster, una herramienta open-source de generación automática de casos de test para APIs REST, GraphQL y RPC en base a algoritmos genéticos. […]

Título: Feature set analysis for chess NNUE networks Director: Agustín Sansone Co-Director: Diego Fernandez Slezak Jurados: Pablo Riera y Gonzalo Ruarte Resumen: Históricamente, los motores de ajedrez han utilizado funciones altamente complejas para evaluar posiciones de ajedrez. Recientemente, las redes neuronales eficientemente actualizables (NNUE) han desplazado a estas funciones […]

Título: SLAM denso, globalmente consistente y acelerado por GPU Director: Dr. Pablo De Cristóforis Jurados: Dr. Daniel Acevedo (Universidad de Buenos Aires) Dr. Javier Civera (Universidad de Zaragoza) Resumen: Un sistema de SLAM (Simultaneous Localization and Mapping) denso es esencial para los robots móviles, ya que no sólo proporciona […]

Título: Cuantificando la Diversidad Cultural en Redes Sociales: Un Enfoque de Embeddings de Comunidades Director: Esteban Feuerstein Co-Director: Federico Albanese Jurados: Leandro Lombardi y Tomás Cicchini Resumen: Los avances en el análisis de redes sociales y técnicas de procesamiento de lenguaje natural (NLP) han mejorado nuestra comprensión de las […]

Título: Reconocimiento de emociones utilizando modelos de lenguaje de habla Director: Pablo Riera Jurados: Esteban Feuerstein, María Lara Gauder Resumen En este trabajo se propone el uso de modelos de lenguaje de habla del proyecto Textless NLP de Meta para la tarea de reconocimiento de emociones a partir de información del habla, […]

Título: Efectos de la categorización de estímulos en la reconstrucción semántica de lenguajes continuos a partir de señales fMRI Director: Juan Kamienkowski Co-Director: Bruno Bianchi Jurados: Enzo Tagliazucchi, Rodrigo Etcheveste Streaming: https://youtube.com/live/acJV2uo5Op4?feature=share Resumen En los últimos a ̃nos han surgido algunos estudios en los que se analizan im ́agenes de resonancia magnética funcional (fMRI) mientras […]

Título: Integración de información cognitiva en modelos de lenguaje Director: Bruno Bianchi Co-Director: Fermín Travi Jurados: Álvaro Cabana, Leonardo Pepino Resumen Los ojos han probado ser una ventana a una gran variedad de procesos cognitivos, por ejemplo, relacionados con la atención y la memoria. Ambas son funciones fundamentales del proceso de lectura y […]

Título: PPA – Un asistente de demostración para lógica de primer orden con extracción de testigos usando la traducción de Friedman Director: Pablo Barenbaum Jurado: - Verónica Becher - Miguel Pagano (FaMAF, UNC) Transmision: https://youtube.com/live/9uIHpGT4EnI Resumen: Los asistentes de demostración son programas que simplifican la escritura de demostraciones matemáticas, […]