|
Titre :
|
L'IA dans la synthèse des programmes
|
|
Auteurs :
|
Nathanaël Fijalkow
|
|
Type de document :
|
Article : texte imprimé
|
|
Dans :
|
la Recherche (Paris. 1970) (577, 04/2024)
|
|
Article en page(s) :
|
p.64-67
|
|
ISBN/ISSN/EAN :
|
0029-5671
|
|
Langues de la publication :
|
Français
|
|
Descripteurs
|
Intelligence artificielle
programmation
|
|
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
|
|
Ancien numéro de notice :
|
MF2024050614404601266
|
