Défi TLA+ accéléré par l'IA générative : une course vers l'avenir de la vérification formelle
2025-05-06
La fondation TLA+ et NVIDIA ont lancé un défi encourageant l'utilisation de l'IA générative pour améliorer le langage de spécification TLA+. Les participants peuvent utiliser l'IA pour la refactorisation de code, la création d'outils de développement, la génération de visualisations et même la synthèse de spécifications. Le jury évaluera les soumissions en fonction de leur fonctionnalité, de leur pertinence pour l'écosystème TLA+ et de l'utilisation innovante de l'IA. Toutes les soumissions doivent être open source, reproductibles, et un prototype suffit. Ce défi vise à explorer le potentiel de l'IA générative au sein de TLA+ et à revitaliser la communauté.
Lire plus
Développement