تأیید صوری

گوتام کورلام، مهندس ارشد Sonar، استدلال می‌کند که سرعت تولید کد توسط AI باعث افزایش فشار بر فرآیند اعتبارسنجی شده است. او راهکاری ترکیبی از تحلیل‌های قطعی (Deterministic) و…

ابزار متن‌باز lucasartsifier با استفاده از تحلیل استاتیک، وضعیت‌های «سافت‌لاک» یا بن‌بست‌های منطقی را در بازی‌های قدیمی سیرا شناسایی و اصلاح می‌کند. این سیستم بدون تغییر در…

پروتکل Elara سیستمی را پیاده کرده است که در آن اقدامات عامل‌های هوش مصنوعی به‌جای ادعاهای متنی، به صورت سوابق امضاشده و قابل‌راستی‌آزمایی روی زنجیره ثبت می‌شوند. نتایج ممیزی‌های…

تمرکز فعلی امنیت هوش مصنوعی بر شناسایی و مجوزهاست، اما ایمنی ابزارهایی که عامل‌ها به آن‌ها متصل می‌شوند نادیده گرفته شده است. رویکرد جدید، اعتماد به فروشنده را با اثبات‌های امنیتی…

سامانه AxiomProver موفق شد یکی از پیچیده‌ترین نتایج نظریه اعداد را به‌صورت رسمی و ماشین‌خوان بازسازی کند. این دستاورد نشان‌دهنده گذار هوش مصنوعی از حل مسائل کوتاه مسابقاتی به…

یک بررسی عملی نشان می‌دهد که مدل‌های زبانی با وجود سرعت بالا در پیشنهاد ورودی‌های تست، بدون یک سیستم نظارت سخت‌گیرانه، خروجی‌های بی‌فایده تولید می‌کنند. از ۸۷ بذر پیشنهادی برای یک…

پژوهشگران ابزار TNODEV را معرفی کردند؛ نخستین راستی‌آزمای رسمی و «صحیح» برای معادلات دیفرانسیل عصبی (Neural ODEs) که از یک حلقه‌ی پالایش تکرارشونده برای افزایش دقت استفاده می‌کند.…