LLM4CODE

Les IA génératives, en particulier les récents grands modèles de langage (LLM), sont extrêmement prometteuses pour le développement logiciel. Des modèles spécialisés sont déjà capables d'accomplir de nombreuses de tâches de programmation variées : résoudre des exercices de programmation, assister les développeurs, voire même générer des preuves formelles. Il reste cependant, de nombreux défis à relever pour développer des assistants de code fiables et productifs fondés sur ces IA:  améliorer la qualité du code généré, renforcer la confiance des développeurs dans le code généré, interagir avec d'autres outils de développement logiciel (vérification, test) et offrir de nouvelles capacités (migration automatisée et évolution des logiciels).

Le Défi Inria LLM4Code cherche à exploiter les capacités des LLMs pour concevoir des assistants de code capables d'améliorer à la fois la fiabilité et la productivité des développeurs. Le défi s'organise autour de trois axes de travail :

1. Génération de code capable de s'auto-améliorer
2. Évolution des logiciels existants
3. Outils interactifs avec IA dans la boucle