L'IA dans la synthèse des programmes

Dans le périodique : La Recherche (Paris. 1970), n°577 (04/2024)
• Auteur : Nathanaël Fijalkow
• Pages : p.64-67
  • Langues : Français
• • Nature du document : documentaire Genre : Article de périodique
  • Résumé :

    Le point sur l'utilisation des LLM, modèles de langue, pour faire de la synthèse de programmes informatiques. Exemples d'outils de synthèse de programmes comme FlashFill ou Copilot permettant d'éviter des tâches répétitives en se basant sur l'apprentissage profond. Emergence de plusieurs limites aux LLM aussi bien méthodologique, structurelle ou code ayant des effets indésirables. Techniques dites neurosymboliques combinant l'apprentissage automatique par réseaux de neurones avec des algorithmes de raisonnement logique. Encadré : quel avenir pour les développeurs ?

• • Descripteurs : intelligence artificielle programmation