Stage - de la Probabilité à la Possibilité pour l'Apprentissage Neurosymbolique avec les Ltns-Saclay H/F CEA
- Saclay - 91
- Stage
- 6 mois
- Bac +5
- Industrie high-tech • Telecom
À noter sur ce job
Vous avez ces compétences ? Cliquez dessus pour les ajouter rapidement à votre profil !
Les missions du poste
En tant que stagiaire au CEA, vous aurez l'opportunité de travailler au sein d'un environnement de recherche de renommée mondiale. Nos équipes sont composées d'experts passionnés et dédiés, offrant un cadre propice à l'apprentissage et à la collaboration. Vous aurez accès à des équipements de pointe et à des ressources de recherche de premier ordre pour mener à bien vos missions. Éventuellement, les travaux menés donneront lieu à une publication scientifique.
Contexte :
Les méthodes symboliques en IA permettent d'exprimer des règles logiques interprétables par l'humain et de contraindre le comportement d'un système. À l'inverse, les réseaux de neurones généralisent à partir de données, mais leur fonctionnement en « boîte noire » complique la vérification du respect de contraintes prédéfinies.
Le Logic Tensor Network (LTN) combine réseaux de neurones et contraintes logiques dans un même processus d'apprentissage. Les réseaux représentent des prédicats logiques dont les sorties sont interprétées comme des degrés de vérité floue. La satisfaction des formules logiques peut être intégrée à la fonction de perte afin de guider l'apprentissage, notamment pour la détection d'anomalies.
Cependant, les sorties des réseaux sont généralement interprétées comme des probabilités en classification, tandis qu'elles représentent des degrés de vérité dans un LTN. Malgré leur intervalle commun entre 0 et 1, ces valeurs ont des sémantiques différentes.
La théorie des possibilités offre un autre cadre de représentation de l'incertitude, lié aux probabilités et à la logique floue. Ce stage étudiera l'hypothèse selon laquelle une représentation possibiliste pourrait mieux adapter les sorties neuronales à leur utilisation comme degrés de vérité, sans supposer une équivalence sémantique entre ces notions.
Qu'attendons-nous de vous?
Le travail consistera à réaliser un état de l'art des transformations probabilistes vers possibilistes, puis à en sélectionner et implémenter plusieurs dans un LTN. Leurs résultats seront comparés à ceux d'une approche utilisant directement les probabilités comme degrés de vérité floue.
Enfin, l'étude évaluera l'impact de ces représentations sur les performances de classification et la satisfaction des contraintes logiques.
# Cea List
Le profil recherché
Profil :
Nous recherchons un(e) étudiant(e) en deuxième année de Master/troisième année d'école d'ingénieur, de spécialité(s) Informatique/Mathématiques, avec :
- Un intérêt pour les thématiques d'intelligence artificielle
- À l'aise avec la théorie des probabilités et des ensembles floues ;
- Un intérêt pour la recherche scientifique et technologique ;
- De bonnes compétences en python ;
- Maîtrise de TensorFlow ;
- Un bon niveau d'anglais.
Les avantages
- Télétravail jusqu’à 3 jours par semaine
- 52 jours de congés/RTT
- Possibilité d’aménagement du temps de travail
- Formation personnalisée
- Restauration d’entreprise
- Offre de transport interne et prise en charge Navigo and co,
- Mutuelle d’entreprise avantageuse
- CE (aides vacances, loisirs, frais de garde, scolarité des enfants etc
Les étapes de recrutement
Les étapes de recrutement peuvent varier selon l'offre à laquelle vous postulez.
-
Dépôt de CV via notre site carrière
-
Préqualification téléphonique
-
Entretiens et évaluation avec manager et RH
-
Négociation salariale et contrat de travail
-
Embauche et intégration
-
CEA en images
Publiée le 09/10/2026 - Réf : 2026-42022
