Pre-Execution Safety Gate & Task Safety Contracts for LLM-Controlled Robot Systems
تقدم هذه الورقة SafeGate، وهي بنية سلامة عصبية رمزية (neurosymbolic) تجمع بين بوابة قرار ما قبل التنفيذ القائمة على معايير ISO 13482 وبين عقود سلامة المهام أثناء التشغيل وحل Z3 SMT، وذلك لمنع الأوامر اللغوية الطبيعية غير الآمنة من الوصول إلى أنظمة الروبوت التي يتم التحكم فيها بواسطة النماذج اللغوية الكبيرة (LLM) والتسبب في مخاطر.