Les groupes de travail Ingénierie des Exigences (IE) et HIFI (Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergents) ont proposé une session commune le jeudi 19 juin à Pau lors des journées du GDR GPL 2025.
Voici les supports des exposés :
- Exigences de qualité extra-fonctionnelles des LLMs – Jean-Michel Bruel, IRIT
- Leveraging Verification to Enhance Formal Explainable AI for Neural Networks – Ryma Boumazouza, Airbus S.A.S.
