![]()
|
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 ?
|
