
SLoSa : des modèles fondation petits, économes en énergie et sûrs pour la planification de tâches en robotique
SLoSa est un cadre d'entraînement neuro-symbolique, décrit dans un préprint arXiv, qui vise à produire des planificateurs de tâches robotiques compacts, économes en énergie et conscients des contraintes de sécurité. La méthode construit d'abord un jeu de données orienté sécurité en combinant des planificateurs classiques, un grand modèle de langage « enseignant » et des vérificateurs formels. Deux étapes d'entraînement suivent: un fine-tuning supervisé, puis un fine-tuning par apprentissage par renforcement (RL) guidé par une « reward machine » fondée sur la vérification, chargée d'imposer l'alignement de sécurité. L'évaluation couvre quatre domaines PDDL (Planning Domain Definition Language, le langage standard de description de problèmes de planification), deux environnements de simulation domestique, des plateformes embarquées et un bras robotique de bureau. Sur les tâches PDDL, le post-entraînement guidé par vérificateur porte le taux de réussite de modèles de 4 à 14 milliards de paramètres à 70,5-76,0 %. Quantifiés en INT4 sur un Jetson Orin, ils consomment 17,85 à 26,41 W de puissance moyenne.
L'intérêt tient à la tension que le travail cherche à résoudre. Les planificateurs symboliques classiques offrent des garanties formelles sur les contraintes encodées, mais exigent des formats d'entrée rigides et voient leur coût de calcul exploser avec la taille de l'espace de recherche. Les LLM apportent la souplesse d'interface et la généralisation, mais sont volumineux, gourmands et peu exposés à des données de sécurité propres à la robotique, ce qui complique leur déploiement local sur des machines aux ressources limitées. Montrer qu'un modèle de 4 à 14 milliards de paramètres peut tourner dans une enveloppe de 18 à 26 W est pertinent pour les intégrateurs qui veulent de la planification embarquée sans dépendre du cloud. Les réserves sont toutefois nettes: un taux de réussite d'environ 70 à 76 % reste loin du niveau requis en production, la validation physique se limite à un bras de bureau, et le résumé ne précise ni la part de plans effectivement vérifiés sûrs, ni les références comparées, ni la latence de planification.
Le travail s'inscrit dans la montée des approches neuro-symboliques, qui cherchent à marier la fiabilité des vérificateurs formels et la flexibilité des modèles de fondation, face aux pipelines tout-LLM et aux planificateurs PDDL purs. La distillation depuis un modèle enseignant puis le RL à récompense vérifiable suivent une recette désormais courante dans le raisonnement des LLM, ici transposée à la sécurité robotique. Il s'agit d'un préprint de recherche, sans produit ni pilote industriel annoncé. Les suites naturelles seraient une validation sur des manipulateurs et des robots mobiles plus variés, des tâches plus longues et des mesures de latence et de robustesse en conditions réelles.
Dans nos dossiers




