Arama · son güncelleme 8 sa önce
8.369
toplam haber
1
kategori
70+
bilim kaynağı
1-2 / 2 haber Sayfa 1 / 1
Teknoloji & Yapay Zeka
21 Apr

&inator: C Kodlarını Güvenli Rust Diline Dönüştüren Yeni Araç

Araştırmacılar, C programlama dilinde yazılmış sistem yazılımlarını Rust diline otomatik olarak çeviren yeni bir araç geliştirdi. &inator adı verilen bu sistem, C kodlarının arayüz tanımlamalarını Rust'un güvenlik kurallarına uygun şekilde dönüştürebiliyor. Geleneksel C dilinin bellek güvenliği konusundaki eksiklikleri, yazılım güvenlik açıklarının temel nedenlerinden biri olarak görülürken, Rust dili sahiplik ve ödünç alma mekanizmaları sayesinde bu sorunları compile-time'da çözüyor. Yeni araç, kısıtlama tabanlı bir formülasyon kullanarak semantik eşdeğerlik ve tip doğruluğunu sağlarken, en basit ve maliyetsiz tip yapılarını tercih ediyor. Gerçek C programları üzerinde yapılan testlerde başarılı sonuçlar alınması, sistem yazılımlarının daha güvenli hale getirilmesi açısından önemli bir adım olarak değerlendiriliyor.

arXiv (CS + AI) 0
Teknoloji & Yapay Zeka
21 Apr

Çeviri Kalitesini Kim Denetliyor? Yapay Zeka Metrikleri İnsan Yargısına Karşı

Makine çevirisi sistemlerinin performansını ölçen otomatik değerlendirme metrikleri, farklı alanlarda ne kadar güvenilir? Araştırmacılar, 18.8 bin insan anotasyonu içeren kapsamlı bir veri setiyle bu soruyu yanıtlamaya çalıştı. Çalışma, otomatik metriklerin cümle düzeyinde alan değişikliklerine karşı şaşırtıcı derecede dayanıklı göründüğünü, ancak insan değerlendirmecilerin farklı alanlarda tutarsız davrandığını ortaya koyuyor. Bu bulgular, yapay zeka destekli çeviri sistemlerinin geliştirilmesinde kullanılan değerlendirme yöntemlerinin yeniden gözden geçirilmesi gerektiğini işaret ediyor.

arXiv (CS + AI) 0