Articles sur CEDAR

Les modèles CEDAR incarnent des contraintes d'instruction intelligentes en tant que langage régulier sur la trajectoire des événements environnementaux, utilisent le modèle de langage pour émettre des jugements sémantiques, effectuer une correction d'erreur de trajectoire et enfin exprimer des compétences et des spécifications sous forme d'automates finis déterministes. Par rapport aux précédents programmes libres d'agents LLM, les automates sont devenus des objets stables, vérifiables, composables et réparables, offrant des garanties formelles de satisfaction des contraintes.