What You Need to Know Before
You Start
Starts 6 June 2025 13:34
Ends 6 June 2025
00
days
00
hours
00
minutes
00
seconds
Synthèse Guidée par Modèle de Langue pour la Levée
Explorez comment les modèles de langage et la synthèse de programmes peuvent être combinés pour élever automatiquement le code vers des langages spécifiques à un domaine, permettant une génération de code efficace pour du matériel hétérogène.
Simons Institute
via YouTube
Simons Institute
2484 Cours
48 minutes
Optional upgrade avallable
Not Specified
Progress at your own speed
Free Video
Optional upgrade avallable
Aperçu
Explorez comment les modèles de langage et la synthèse de programmes peuvent être combinés pour élever automatiquement le code vers des langages spécifiques à un domaine, permettant une génération de code efficace pour du matériel hétérogène.
Programme
- Introduction aux modèles de langage et à la synthèse de programmes
- Bases des langages spécifiques à un domaine (DSLs)
- Modèles de langage pour la génération de code
- Techniques de synthèse de programmes
- Intégration des modèles de langage et de la synthèse de programmes
- Élever le code vers des langages spécifiques à un domaine
- Applications pratiques et études de cas
- Projet pratique
- Directions futures dans la synthèse guidée par les modèles de langage
- Revue et conclusion du cours
Vue d'ensemble des modèles de langage en IA
Fondamentaux de la synthèse de programmes
Applications dans la génération de code
Comprendre les DSLs : définitions et caractéristiques
Avantages de l'utilisation des DSLs dans la génération de code
Exemples de DSLs populaires
Contexte historique et évolution
Modèles de langage à la pointe de la technologie
Études de cas sur les modèles de langage dans la génération de code
Synthèse guidée par la syntaxe
Synthèse de programme inductive
Approches d'apprentissage automatique pour la synthèse
Synergies entre les modèles de langage et la synthèse
Cadres et outils pour l'intégration
Défis dans l'intégration des modèles de langage avec la synthèse
Techniques d'élévation de code
Automatisation de la génération de code DSL
Optimisation pour du matériel hétérogène
Exemples réels d'élévation de code
Adoption industrielle et cas d'utilisation
Analyse comparative des DSLs dans différents domaines
Sélection d'un langage spécifique à un domaine
Application de la synthèse guidée par les modèles de langage
Évaluation des performances sur du matériel hétérogène
Tendances et recherches émergentes
Opportunités d'innovation dans ce domaine
Impact à long terme sur le développement logiciel
Récapitulation des concepts clés
Discussion sur les avancées potentielles
Retour d'expérience et évaluation du cours
Sujets
Informatique