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:20241211T100000
DTEND;TZID=America/Sao_Paulo:20241211T110000
DTSTAMP:20260425T193051
CREATED:20241210T180514Z
LAST-MODIFIED:20241210T180514Z
UID:9624-1733911200-1733914800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Emanuel Ruzak
DESCRIPTION:Titulo: Explorando las dinámicas de AI Safety via Debate\nDirector: Sergio Abriola\nJurados: Esteban Lanzarotti\, Victor Braberman \nResumen:\nEl 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\, fenómenos como reward hacking o malgeneralización son el resultado esperable de los métodos de entrenamiento actuales\, incluso ante la presencia de buenas especificaciones.\nEl debate\, como se propone en el artículo AI safety via debate\, es una técnica prometedora de alineamiento que intenta entrenar sistemas de IA honestos\, haciendo que produzcan argumentos a través de un juego de suma cero donde dos agentes argumentan sobre una pregunta o acción propuesta\, y un juez humano evalúa la veracidad y utilidad de la información proporcionada.\nEste trabajo se centra en explorar empíricamente las dinámicas argumentativas entre agentes de IA y un juez (también implementado como otro sistema de IA). Para esto se llevaron a cabo experimentos donde se analiza la factibilidad de que agentes débiles den señales de supervisión para el entrenamiento de agentes más fuertes utilizando el método del debate.\nEn uno de los experimentos se utilizó un clasificador de imágenes\, en el que dos agentes\, modelados utilizando MCTS (Monte-Carlo Tree Search)\, seleccionaron píxeles en cada turno con el objetivo de obtener una clasificación como número impar o par respectivamente. En otro experimento se utilizaron modelos de lenguaje grandes (LLMs) donde el debate consistió en que dos agentes proporcionen argumentos en turnos utilizando pasajes de texto. Un agente intenta convencer al juez\, que consiste en otro LLM\, de una respuesta correcta y el otro de una respuesta incorrecta a una pregunta de opción múltiple\, utilizando una versión modificada del dataset QuALITY.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-emanuel-ruzak/
LOCATION:Aula 1102
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241211T110000
DTEND;TZID=America/Sao_Paulo:20241211T120000
DTSTAMP:20260425T193051
CREATED:20241203T170539Z
LAST-MODIFIED:20241203T170539Z
UID:9585-1733914800-1733918400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Patricio Damian Bruno
DESCRIPTION: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 \nDirector: Gustavo Martin Bosyk \nCo-Director: Guido Bellomo \nJurados: Laura Knoll y Sanitago Cifuentes \nResumen: La teleportación cuántica es un protocolo fundamental en la computación cuántica\, el cual permite la transferencia de estados cuánticos entre sistemas distantes. En condiciones ideales\, el estado transferido permanece inalterado\, pero en aplicaciones prácticas\, el ruido ambiental afecta el proceso\, alterando el estado recibido. En este trabajo se estudia el desempeño de la teleportación cuántica en escenarios con diferentes tipos y niveles de ruido. Se evalúan la certificación cuántica y el rendimiento del protocolo mediante distintas métricas. Asimismo\, se presenta una herramienta basada en Qiskit para estimar experimentalmente la distancia media de teleportación en entornos ruidosos. Los resultados obtenidos en simuladores y computadoras cuánticas reales confirman su correcto funcionamiento.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-patricio-damian-bruno/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241211T143000
DTEND;TZID=America/Sao_Paulo:20241211T153000
DTSTAMP:20260425T193051
CREATED:20241206T130850Z
LAST-MODIFIED:20241210T125959Z
UID:9590-1733927400-1733931000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Ayelén Dinkel
DESCRIPTION:Título: Thinness condicionada a órdenes canónicos de ciertas clases de grafos\nDirectora: Flavia Bonomo\nCo-director: Eric Brandwein\nJurados: Pablo Terlisky\, Esteban Lanzarotti \nResumen:\nLa 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 de vértices\, patrones prohibidos\, comportamiento de ciertos parámetros\, como por ejemplo los parámetros de ancho.\nEse tipo de caracterizaciones o propiedades son las que habitualmente se utilizan para el desarrollo de algoritmos eficientes dentro de la clase para problemas de optimización combinatoria que son NP-completos.\nEn este trabajo nos enfocamos en la caracterización por patrones prohibidos de las clases de grafos definidas por su thinness\, uno de los parámetros de ancho en grafos definidos en la literatura.\nCaracterizamos por patrones prohibidos minimales a la clase de grafos co-bipartitos con thinness condicionada a lo sumo 2.\nTambién mostramos propiedades que cumple esta familia de grafos cuando conocemos un orden y partición consistentes en dos clases.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-ayelen-dinkel/
LOCATION:Aula 1301
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR