Desafío TLA+ Acelerado por IA Generativa: Una Carrera hacia el Futuro de la Verificación Formal
2025-05-06
La Fundación TLA+ y NVIDIA han lanzado un desafío que fomenta el uso de la IA generativa para mejorar el lenguaje de especificación TLA+. Los participantes pueden usar IA para la refactorización de código, la creación de herramientas de desarrollo, la generación de visualizaciones e incluso la síntesis de especificaciones. El jurado evaluará las presentaciones en función de la funcionalidad, la relevancia para el ecosistema TLA+ y el uso innovador de la IA. Todas las presentaciones deben ser de código abierto, reproducibles, y un prototipo es suficiente. Este desafío tiene como objetivo explorar el potencial de la IA generativa dentro de TLA+ y revitalizar la comunidad.
Leer más
Desarrollo