موضوع
۸۲ مقاله منتشر شده
پلتفرم Archify با جایگزینی تصاویر مستقیم با نمایش‌های میانی JSON، دقت و قابلیت بازبینی نمودارهای معماری تولیدشده توسط هوش مصنوعی را تضمین می‌کند. این رویکرد، نمودارها را از تصاویر…
امنیت بلاک‌چین تا سال ۲۰۲۶ از تحلیل‌های ایستا به شبیه‌سازی‌های معنایی مبتنی بر هوش مصنوعی تغییر مسیر می‌دهد. چارچوب‌های جدید به توسعه‌دهندگان اجازه می‌دهند خطاهای منطقی پیچیده را…
ابزار جدید K-Veritas با استفاده از اثبات‌های رمزنگاری، نتایج مدل‌های هوش مصنوعی را به کد، سخت‌افزار و زمان اجرای واقعی متصل می‌کند. این سیستم با تطبیق محاسبات ادعایی با…
امنیت قراردادهای هوشمند تا سال ۲۰۲۶ به یک گردش‌کار ترکیبی تبدیل شده است که در آن عامل‌های هوش مصنوعی تحلیل‌های ایستا را بر عهده دارند و انسان‌ها بر منطق معماری تمرکز می‌کنند. این…
سامانه آزمایشی Lemmalog برای جلوگیری از فراموشی حقایق در عامل‌های هوش مصنوعی، حافظه برداری مبهم را با موتور منطقی Datalog جایگزین کرده است. این رویکرد باعث می‌شود عامل‌ها در وظایف…
فریم‌ورک Talos با معرفی یک هسته‌ی امنیتی تعیین‌گر، هر فراخوانی ابزار توسط عامل‌های هوش مصنوعی را پیش از اجرا به تأیید می‌رساند. این رویکرد برخلاف مدل‌های رایج، امنیت را نه به…
ابزار RealDiff به‌جای بررسی متنی کد، تغییرات رفتار برنامه در زمان اجرا را مقایسه می‌کند تا رگرسیون‌های پنهانی را که تست‌های واحد نادیده می‌گیرند، شناسایی کند.
یک چارچوب اعتبارسنجی جدید با ترکیب تست‌های واحد، تست‌های تفاضلی و ابزارهای شناسایی خطا، نقص‌های پنهان در کدهای تولیدشده توسط هوش مصنوعی را شناسایی می‌کند. این فرآیند کدهای «به…
شرکت آنتروپیک قابلیت‌های کنترل کامپیوتر را برای عموم منتشر کرد، اما حوادث امنیتی اخیر نشان می‌دهد که بدون یک لایهٔ تأیید مستقل، اجرای خودکار گردش‌های کاری در محیط‌های عملیاتی ریسک…
یک معماری جدید پیشنهاد می‌دهد که شکست عامل‌های هوش مصنوعی نه به دلیل ضعف در استدلال، بلکه به دلیل تصمیم‌گیری درباره‌ی «چه چیزی پرسیده شود» است. با انتقال لیست نیازمندی‌ها به خارج…
پلتفرم WhaleHarness سیستمی خودکار برای توسعه، تأیید و انتشار افزونه‌های هوش مصنوعی توسط خودِ عامل‌ها ایجاد کرده است. انتشار موفق دو ابزار ساخته‌شده توسط عامل‌ها، آغاز عصر…
توسعه‌دهندگان برای ایمن‌سازی عامل‌های هوش مصنوعی از رویکرد «دیوار آتش» فاصله گرفته و سامانه Trust Gateway را جایگزین کرده‌اند. این سیستم به‌جای فیلترهای ساده، بر ناورداهای ریاضی و…