BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Departamento de Computación
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:20241129T143000
DTEND;TZID=America/Sao_Paulo:20241129T153000
DTSTAMP:20260515T154638
CREATED:20241125T151413Z
LAST-MODIFIED:20241125T151413Z
UID:9538-1732890600-1732894200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Valentín Paz Marcolla
DESCRIPTION:Título: DEVS Copilot: cooperación humano-IA para la generación de modelos de simulación\n\n\n\n\nDirector: Dr. Rodrigo Castro (DC-ICC)\n\nCo Director: Lic. Tobías Carreira Munich (DC-ICC) \n\nJurado:\n– Dr. Esteban Lanzarotti (DC-ICC)\n– Ing. Lautaro Estienne (ICC Exactas-UBA y FIUBA)\n\n\n\nResumen del trabajo: \nEn esta tesis exploramos hasta qué punto la IA generativa\, en forma de grandes modelos de lenguaje (LLM) como GPT-4\, LLaMA 3 y Mixtral\, puede ayudar a obtener un modelo de simulación ejecutable correcto.\nEl punto de partida es una descripción de alto nivel de un sistema expresada en lenguaje natural\, que evoluciona a través de un proceso conversacional basado en interacciones con un/a modelista.\nPresentamos una metodología y una herramienta inspiradas en la metáfora del copiloto\, una estrategia de trabajo en equipo entre humanos e IA bien conocida por su éxito en tareas de programación.\nAdoptamos el formalismo de modelado y simulación Discrete Event System Specification (DEVS)\, un candidato adecuado ya que permite especificar modelos de propósito general de forma modular\, jerárquica\, sencilla y rigurosa.\nEl resultado es DEVS Copilot\, un prototipo basado en IA cuyo desempeño caracterizamos sistemáticamente al aplicarlo en la construcción de distintos ejemplos: sistemas de control de luces con complejidad creciente\, un cluster de còmputo simple con balanceo de carga y el modelo de autómata celular tipo Juego de la VIda de Conway. En todos los casos DEVS Copilot logró producir simulaciones DEVS correctas.\nFinalmente\, se identificaron los mejores parámetros de ejecución (e.g. temperatura)\, proponiendo una metodología extrapolable para comparación de resultados\, y se compararon los efectos de adoptar GPT-4\, LLaMA 3 y Mixtral como LLMs soporte de la herramienta.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-valentin-paz-marcolla/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR