Laboratoire de Recherche NiNo AI Autonomous

Repousser les frontières de l' Intelligence d'Entreprise Autonome

Notre groupe de recherche explore les intersections fondamentales entre le raisonnement multi-agents, les machines à états déterministes et la synthèse vérifiée des processus métier.

Repousser les frontières de l'

Axes de Recherche Fondamentaux

Synthèse de Processus Multi-Agents

Conception de topologies d'agents spécialisés capables de décomposer des flux SiOps complexes en transactions formellement vérifiées et réversibles.

RAG d'Entreprise Structuré

Ancrage du raisonnement des LLM sur des schémas relationnels stricts, des graphes ontologiques et des écritures de grands livres sans aucune hallucination.

Prévisions Probabilistes de la Supply Chain

Modèles hybrides neuro-symboliques alliant apprentissage automatique et satisfaction de contraintes pour un MRP industriel résilient.

Sécurité Vérifiable & Garde-Fous

Bacs à sable déterministes et vérification formelle garantissant que les actions des agents respectent scrupuleusement les plafonds d'audit de l'entreprise.

Publications Récentes & Livres Blancs

Publications scientifiques et rapports techniques ouverts issus de nos laboratoires de recherche.

Rapport Technique

Agentic SiOps: Vers des actions autonomes formellement sûres dans les livres comptables

Présentation d'un cadre de vérification formelle garantissant l'intégrité des écritures comptables et la réversibilité totale des actions d'agents IA.

Vérification FormelleMulti-AgentsGrand Livre SiOps
Article de Recherche

Planification probabiliste des besoins matières face aux incertitudes logistiques

Modélisation des aléas d'approvisionnement par distribution statistique pour remplacer les calculs MRP statiques classiques.

ProductionSupply ChainModélisation Probabiliste
Publication Évaluée par des Pairs

Ancrage de connaissances métier par décodage sous contraintes de schéma

Élimination mathématique des hallucinations lors des analyses financières grâce à des grammaires relationnelles imposées au moment de l'inférence.

RAGContraintes FormellesInférence LLM

Collaborer avec notre Pôle Recherche

Nous accueillons les propositions de recherche conjointe, de chaires industrielles et d'allocations pour doctorants et scientifiques.