Titre du mémoire : Fiabilité des pipelines d'optimisation combinatoire assistés par LLM : du jugement à la vérification exécutable et à l'amélioration autonome de solveurs
Présenté par : Emma Frechette
Programme : Mathématiques
Département : Dép. de mathématiques et génie industriel
Jury
Président : Thibaut Vidal, Ph. D.
Directeur de recherche : Louis-Martin Rousseau, Ph. D.
Membre : Daniel Aloise, Ph.D.
Entrée libre
Bienvenue à tous!