BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0300
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20230101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241203T093000
DTEND;TZID=America/Sao_Paulo:20241203T100000
DTSTAMP:20260427T102106
CREATED:20241126T141606Z
LAST-MODIFIED:20241126T141606Z
UID:9550-1733218200-1733220000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Juan Manuel Baldonado
DESCRIPTION:Título: Análisis semántico de performance para auto-formalizaciones generadas por LLMs\nDirector: Víctor Braberman\nCo-directora: Flavia Bonomo\nJurados: Sergio Abriola\, Sebastián Uchitel \nResumen:\nEn 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 de tareas “downstream” sin necesidad de reentrenamiento. Esto se logra con el uso de distintas técnicas de «prompt engineering»\, que permiten condicionar las respuestas del modelo en función de la tarea que se desea resolver. Consecuentemente\, se ha iniciado una revolución en términos de desarrollo de un tipo de software (el «promptware») que utiliza LLMs para resolver las más variadas funcionalidades. Sin embargo y a pesar de los constantes avances\, desarrollar software basado en interactuar con LLMs carece de teoría y métodos que soporten enfoques disciplinados. De hecho\, un área con carencias significativas es la evaluación (y mejora) de performance de un LLM para una tarea dada. Muchas veces no se tiene en cuenta la naturaleza estocástica del proceso generativo subyacente y la competencia de formas superficiales en las que se pueden presentar los resultados a una pregunta.\nEn este trabajo analizamos la distribución de las respuestas generadas por LLMs en función de su contenido semántico. Estudiamos  la performance de una tarea desde la perspectiva de la propiedades de la distribución “clusterizada” resultante\, el vínculo con los resultados esperados y los tipos de errores de alineamiento. Usamos esas observaciones para ejemplificar mecanismos más disciplinados de mejoras basadas en la descomposición de tareas.\nNos centramos en la tarea de auto-formalización\, que consiste en generar una representación formal de una descripción en lenguaje natural. En particular\, el problema a analizar será el de generar especificaciones de programas a partir de su documentación.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-juan-manuel-baldonado/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241203T190000
DTEND;TZID=America/Sao_Paulo:20241203T200000
DTSTAMP:20260427T102106
CREATED:20241126T135239Z
LAST-MODIFIED:20241127T124640Z
UID:9548-1733252400-1733256000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Simón Lew Deveali
DESCRIPTION:Título: Clausura conmutativa de lenguajes regulares\nDirectora: Verónica Becher\nCodirector: Ignacio Mollo Cunningham\nJurados: Sergio Abriola y Víctor Braberman \nResumen: 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 conjunto  c(S) de palabras cuya imagen conmutativa es la de alguna palabra de S. Damos un algoritmo que\,  dado un lenguaje regular S\, produce el autómata finito que acepta la clausura conmutativa c(S)\, siempre que ésta sea regular.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-simon-lew-deveali/
LOCATION:Aula 1102
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR