En quelques mots
Professeur à l'Université d'Artois au CRIL, co-auteur du solveur SAT Glucose et de la bibliothèque PyXAI pour l'explicabilité des modèles. Implanté à Lens, dans le Pas-de-Calais. S’adresse à : Chercheurs, Entreprises, Étudiants.
Domaines
Propose
Pour Chercheurs, Entreprises, Étudiants
En pratique
Adresse
Faculté des Sciences Jean Perrin, rue Jean Souvraz, 62300 Lens
Site
cril.univ-artois.fr
Rattachée à
CRIL (UMR 8188 CNRS, Université d'Artois)
Public
Chercheurs, Entreprises, Étudiants
Domaines IA
IA explicable, Satisfiabilité (SAT), Contraintes
Secteurs
Recherche, Transport aérien
Dans les discussions
Pas encore de participation publique aux discussions.