Stage - Planificateur de Mission par Couplage d'Un Llm avec un Assistant Formel H/F

Les modèles de langage (LLM) excellent dans la compréhension du langage naturel et sont capables de décomposer des tâches complexes en sous-tâches, mais souffrent d'hallucinations et de faiblesses logiques qui les rendent inaptes à la planification autonome de missions critiques (robotique, drones, logistique).

À l'inverse, les vérificateurs formels et planificateurs symboliques garantissent mathématiquement la validité d'un plan, mais manquent de flexibilité face aux requêtes humaines.