يوثق المقال فئة فشل في نماذج اللغة الكبيرة المتقدمة تُسمى انهيار سلسلة الاستثناءات، حيث تقيم النماذج القواعد الشرطية المتداخلة بشكل غير صحيح. لمعالجة ذلك، يقدم المؤلفون وحدة أهلية Aethis، وهي بنية عصبية-رمزية تجمع بين القواعد التي كتبتها LLM مع طبقة تعتمد على SMT للتنفيذ الحتمي.

  • يضمن النظام تنفيذًا متسقًا للقواعد بغض النظر عن انحراف النموذج أو تغييرات تنسيق الطلب.
  • في اختبار عدائي يتكون من 20 سيناريو على تأمين البناء، حصل المحرك على 20/20، متطابقًا مع تكوين واحد فقط من بين أربعة تكوينات متقدمة.
  • أظهر التحقق الخارجي على مهام LegalBench أن المحرك كان أكثر دقة بشكل كبير من ثلاثة نماذج متقدمة، بفروقات تصل إلى +41 نقطة ضد نماذج Anthropic.

تنقل المساهمة عدم اليقين من حدود الاستدلال إلى حدود المواصفات، مما يجعلها مقصودة وخاضعة للتدقيق لعمليات العمل المنظمة.