LLM for code and proof

Crédit : 4 ECTS
Langue du cours : anglais

Volume horaire

  • CM : 24 h
  • Volume horaire global (hors stage) : 24 h

Compétences à acquérir

The course has two main objectives: (1) to provide students with a deep understanding of the core techniques for training and fine-tuning neural models for code generation, including inference strategies and evaluation metrics specific to code, and (2) to introduce current research in neural program synthesis, highlighting applications in software engineering, reasoning, and formal verification.

Description du contenu de l'enseignement

Recent advances in large language models (LLMs) have enabled remarkable progress in program synthesis and code generation. This course explores the foundations and methodologies behind modern neural code generation, with a particular focus on Transformer-based architectures and LLM techniques.

Mode de contrôle des connaissances

Homeworks and projects

Pré-requis obligatoires

Mastery of Python and Pytorch



Année universitaire 2023 - 2024 - Fiche modifiée le : 01-04-2026 (16H03) - Sous réserve de modification.