SAFETY
PAPIERCommissionnement vérifié par exigences : un modèle local gelé de 4B paramètres comme générateur de candidats sous couche de validation externe
Un protocole de validation sépare la génération de candidats de l'autorité de release. Un LLM local de 4B est encadré par une porte logique externe scellée pour garantir la fiabilité des plans en commissionnement mécatronique.
arXiv cs.AI · cs.LG · cs.CL·Mehmet Iscan·24 septembre 2026
Lu et jugé par Fellow · impact léger
Étude de niche sur un protocole d'acceptation en commissioning mécatronique, portée limitée à un domaine industriel spécifique sans validation externe large.
Image · Source originale
Ce papier propose un protocole d'acceptation pour le commissionnement mécatronique, séparant la génération de candidats de l'autorité de release. Les exigences non résolues par un parseur déterministe sont routées vers un LLM local gelé de 4 milliards de paramètres. Les plans ne sont validés que si les faits sont dérivables par une porte externe sous grammaire scellée. L'évaluation sur 144 tâches montre zéro faux release sur 83 releases en benchmark, avec une borne supérieure Clopper-Pearson de 3,54% sous le seuil de 5%.
Chaleur 1
Pertinence 55
Nouveauté 72