L'IA dans la synthèse des programmes / Nathanaël Fijalkow in La Recherche (Paris. 1970), 577 (04/2024)

[article]  inLa Recherche (Paris. 1970) > 577 (04/2024) Titre : L'IA dans la synthèse des programmes Type de document : texte imprimé Auteurs : Nathanaël Fijalkow Année : 2024 Article : p.64-67 Langues : Français (fre) Descripteurs : programmation Mots-clés : intelligence artificielle (IA) 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 ? Nature du document : documentaire Genre : Article de périodique [article]  L'IA dans la synthèse des programmes de Nathanaël Fijalkow In La Recherche (Paris. 1970), 577 (04/2024), p.64-67 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 ?