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
course image

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
  • 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
  • Bases des langages spécifiques à un domaine (DSLs)
  • 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
  • Modèles de langage pour la génération de code
  • 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
  • Techniques de synthèse de programmes
  • Synthèse guidée par la syntaxe
    Synthèse de programme inductive
    Approches d'apprentissage automatique pour la synthèse
  • Intégration des modèles de langage et de la synthèse de programmes
  • 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
  • Élever le code vers des langages spécifiques à un domaine
  • Techniques d'élévation de code
    Automatisation de la génération de code DSL
    Optimisation pour du matériel hétérogène
  • Applications pratiques et études de cas
  • Exemples réels d'élévation de code
    Adoption industrielle et cas d'utilisation
    Analyse comparative des DSLs dans différents domaines
  • Projet pratique
  • 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
  • Directions futures dans la synthèse guidée par les modèles de langage
  • Tendances et recherches émergentes
    Opportunités d'innovation dans ce domaine
    Impact à long terme sur le développement logiciel
  • Revue et conclusion du cours
  • Récapitulation des concepts clés
    Discussion sur les avancées potentielles
    Retour d'expérience et évaluation du cours

Sujets

Informatique