Nouvelles les plus récentes
Glucose est (enfin) sur Github
(17
Mai
2023)
Glucose est enfin (aussi) distribué sur Github. L'idée est tout simplement de permettre les forks officiels depuis les versions de glucose. Nous le distribuions uniquement via des archives et la...
Interview dans Sud-Ouest autour de l'I.A. de confiance
(3
Mai
2023)
L'I.A. est le sujet de nombreux articles de presse depuis quelques mois. L'exposition au grand public d'outils comme chatGPT4 accèlère encore plus le besoin d'explication et de compréhension de ces...
Séjour au Simons Institute (Berkeley)
(17
Avril
2023)
Dans le cadre du programme d'invitation du Simons Institute au sujet de SAT ([SAT Reunion Semester](https://simons.berkeley.edu/programs/extended-reunion-satisfiability)), j'ai eu le plaisir d'être invité sur un séjour long dans ce lieu mythique...
Mise en route du projet CAP-IA
(1
Avril
2023)
Le projet CAP-IA, porté par François Clautiaux (IMB) et l'Université de Bordeaux, accepté en Novembre dernier est enfin lancé. C'est un projet ambitieux dont je porte le volet en lien...
Lancement du projet Européen DIHNAMIC
(20
Mars
2023)
Le projet [Dihnamic](https://www.dihnamic.eu/fr/accueil/) vient d'être lancé très officiellement. C'est un projet européen et régional de grande ampleur dans lequel je suis membre de "l'advisory board". Le projet réunit 13 partenaires....
Grâce à la chaire “IA digne de Confiance” qui vient d’être lancée en septembre 2022, nous avons trois offres de stage à pourvoir (toutes associées à des thèses financées dans la suite (dont une avec un mécanisme CIFRE)).
- Le premier sujet porte sur l’encadrement de décisions
d’un réseau neuronal par deux autres fonctions offrant des garanties formelles.
- Le second sujet porte sur l’utilisation d’une approche neuro-symbolique en vue d’apprendre une fonction qui peut être vérifiée automatiquement.
- Enfin, le dernier sujet porte sur l’utilisation des progrès récents en matière de ML/RL/Réseaux d’attaches pour guider la recherche de solveurs SAT.
Rejoignez-nous au LaBRI !
Le détail des sujets est disponible ici
(Dernière Modification:
18
Mai
2023
)