TL;DR
- چکیده:.
- همچنین بهعنوان قابلیت دسترسی به ویژگی (PDR) شناخته میشود،.
- یک الگوریتم رایج برای بررسی مدل ایمنی سخت افزار است.
چه اتفاقی افتاد
چکیده:. IC3،.
همچنین بهعنوان قابلیت دسترسی به ویژگی (PDR) شناخته میشود،. یک الگوریتم رایج برای بررسی مدل ایمنی سخت افزار است.
بررسی میکند که آیا یک سیستم انتقال حالت با ویژگی ایمنی داده شده مطابقت دارد یا خیر. IC3 یا UNSAFE (نشان دهنده نقض مالکیت) را با یک رد مثال متقابل برمیگرداند،.
یا SAFE را با یک متغیر استقرایی قابل بررسی بهعنوان اثبات ایمنی. در عمل،.
عملکرد IC3 تحت سلطه شبکه بزرگی از اکتشافات متقابل و انتخابهای پیادهسازی است،. که تنظیم دستی را پرهزینه،.
شکننده و سخت میکند. این مقاله IC3-Evolve را ارائه میکند،.
یک چارچوب خودکار تکامل کد آفلاین که از یک LLM برای پیشنهاد وصلههای کوچک،. محدود با اسلات و قابل ممیزی برای پیادهسازی IC3 استفاده میکند.
مهمتر از همه،. هر وصله نامزدی فقط از طریق تایید صلاحیت اثبات شده/شاهد پذیرفته میشود:.
اجراهای ایمن باید گواهی صادر کنند که بهطور مستقل بررسی شود،. و اجراهای UNSAFE باید یک رد نمونه متقابل قابل پخش را منتشر کنند،.
که از اجرای ویرایشهای نادرست جلوگیری میکند. از آنجایی که LLM فقط به صورت آفلاین مورد استفاده قرار میگیرد،.
مصنوع مستقر شده یک جستجوگر تکامل یافته مستقل با سربار استنتاج ML/LLM صفر و بدون وابستگی به مدل. زمان اجرا است.
ما بر روی معیار رقابت بررسی مدل سختافزار عمومی (HWMCC) تکامل میدهیم و قابلیت تعمیمپذیری را در معیارهای. بررسی مدل عمومیو صنعتی غیرقابل مشاهده ارزیابی میکنیم،.
و نشان میدهیم که IC3-Evolve میتواند بهطور قابل اعتمادی پیشرفتهای اکتشافی عملی را تحت دروازههای صحت دقیق کشف. کند.
هوش مصنوعی (cs. AI) استناد بهعنوان: (یا v1 [cs.
AI] برای این نسخه) https:. // شده توسط arXiv از طریق DataCite تاریخچه ارسال از:.
Mingkai Miao [مشاهده ایمیل] [v1] یکشنبه،. 18 ژانویه 2026،.
12:. 37:.
27 UTC (2,. 351 KB).
چرا مهم است
اهمیت این خبر در این است که روی استفاده واقعی از AI و تصمیمگیری سازمانی اثر میگذارد.
منبع
لینک منبع اصلی در کارت و صفحه مقاله نمایش داده میشود.