"formal doğrulama" için 159 sonuç bulundu
× Aramayı temizle
Arama Sonuçları
159 haber
Kuantum makine öğrenmesi modellerinde hata tespiti için yeni test yöntemi
Araştırmacılar, kuantum makine öğrenmesi modellerindeki hataları tespit etmek için 'mutasyon testleri' adlı yeni bir yöntem geliştirdi. Bu teknik, kuantum sinir ağlarına kasıtlı hatalar enjekte ederek sistemin güvenilirliğini değerlendiriyor. Kuantum bilgisayarlar ve makine öğrenmesinin birleştiği bu alanda, karmaşık özellikleri klasik modellerden daha az parametre ile öğrenebilen sistemler geliştirilmekte. Ancak artan karmaşıklık beraberinde hata riski de getiriyor. Bu çalışma, kuantum devrelerine planlı şekilde arızalar yerleştirerek test sistemlerinin ne kadar dayanıklı olduğunu ölçmeyi amaçlıyor. Yöntem, özellikle kuantum sinir ağı modellerinde tasarım özelliklerine uygunluğu ve hatasız çalışmayı doğrulamaya odaklanıyor. Bu gelişme, kuantum makine öğrenmesi uygulamalarının güvenilirliğini artırmada önemli bir adım.
arXiv — Kuantum Fiziği · 11 gün önce
0
Matematik ve Fizik Arasında Köprü: Tekil Bağlantılar için Yeni Bir Strateji
Karmaşık matematikte önemli bir yere sahip olan tekil bağlantıların yörüngelerini inceleyen yeni bir araştırma, bu alandaki anlayışımızı derinleştiriyor. Çalışma, düzensiz tekil bağlantı germlerinin temel kısımları üzerinden geçen kesik gauge yörüngelerini ele alarak, herhangi bir bağlı karmaşık reduktif yapı grubu için genel çok seviyeli durumu inceliyor. Araştırmacılar, Levi kök sistemlerinin filtrasyonlarını kullanarak formal normal formların sabitleyicilerini hesaplama yöntemi geliştirdi. Bu sabitleyicilerin bağlı olduğunu göstererek, yörünge uzayını sabitleyicilerin eşlenik sınıflarına göre katmanladılar. En yoğun katman, izomonodromik deformasyonların genel ayarına karşılık geliyor ve bu durum Jimbo-Miwa-Ueno yaklaşımını yansıtıyor.
arXiv — Matematiksel Fizik · 14 gün önce
0
Zaman Gecikmeli Sistemler İçin Yeni Stabilite Analizi Yöntemi Geliştirildi
Araştırmacılar, elektrikli motorlar ve sinir ağları gibi karmaşık sistemlerin kararlılığını analiz etmek için yeni bir matematiksel framework geliştirdi. Persidskii sistemleri olarak adlandırılan bu yapılar, doğrusal dinamikler ile nonlineer geri besleme döngülerini birleştireyor. Çalışma, zaman gecikmesi olan sistemlerde durum tahmini ve kararlılık analizi için veri odaklı yaklaşımlar sunuyor. Özellikle elektrikli araçlarda kullanılan PMSM motorlarında deneysel doğrulama yapılması, teorik çalışmanın pratik uygulamalarını gösteriyor. Bu gelişme, otonom sistemler ve robotik alanlarında daha güvenilir kontrol sistemleri tasarımına katkı sağlayabilir.
arXiv — Bilgisayar Sistemleri · 14 gün önce
0
Yapay zeka gerçek yaşamın karmaşıklığında ne kadar başarılı?
Yapay zeka asistanları ofis ortamlarından günlük yaşama geçerken, karşılaştıkları bağlamlar da değişiyor. Gerçek yaşam bağlamları genellikle dağınık, parçalı ve kişisel deneyimlerle iç içe. Araştırmacılar, mevcut dil modellerinin bu karmaşık durumlardan öğrenip öğrenemediğini test etmek için CL-bench Life adlı yeni bir değerlendirme sistemi geliştirdi. Bu sistem, çok taraflı sohbetler, kişisel arşivler ve davranış izleri gibi gerçek yaşam senaryolarını içeren 405 bağlam-görev çifti ve 5,348 doğrulama kriteri sunuyor. Sonuçlar, yapay zekanın profesyonel ortamlardaki başarısının günlük yaşamın karmaşıklığında aynı düzeyde olmadığını gösteriyor.
arXiv — Hesaplamalı Dilbilim (cs.CL) · 14 gün önce
0
Telekomünikasyon Ağlarında Niyet Tabanlı Yönetim için Yeni Doğrulama Sistemi
Araştırmacılar, telekomünikasyon ağlarının yönetimini kolaylaştıracak yeni bir doğrulama sistemi geliştirdi. TIO-SHACL adlı bu sistem, operatörlerin karmaşık teknik detaylara girmeden sadece yüksek seviyeli hedeflerini belirterek ağ yönetimi yapmasını sağlayan 'niyet tabanlı ağ yönetimi' teknolojisi için kritik bir eksikliği gideriyor. Sistem, ağ operatörlerinin belirttiği niyetlerin sisteme kabul edilmeden önce doğruluğunu kontrol ederek hataları önlüyor. Bu gelişme, telekomünikasyon sektöründe ağ yönetimini daha güvenilir ve verimli hale getirme potansiyeli taşıyor.
arXiv — Hesaplamalı Dilbilim (cs.CL) · 14 gün önce
0
AI'lar İçin Yeni Kod Doğrulama Sistemi: ScaleBox
Araştırmacılar, büyük dil modellerinin kod yazma yeteneklerini geliştirmek için ScaleBox adlı yeni bir sistem geliştirdi. Mevcut kod doğrulama sistemleri yüksek iş yükü altında yetersiz kalırken, ScaleBox hem doğruluğu artırıyor hem de büyük ölçekte verimli çalışabiliyor. Sistem, otomatik özel yargıç üretimi, paralel test çalıştırma ve çok düğümlü koordinasyon gibi özellikler sunuyor. Deneyler, ScaleBox'ın kod doğrulama hassasiyetini ve verimliliğini önemli ölçüde artırdığını gösteriyor. LiveCodeBench performans testlerinde de sistemi kullanan modellerin belirgin şekilde daha iyi sonuçlar aldığı gözlemleniyor.
arXiv — Hesaplamalı Dilbilim (cs.CL) · 14 gün önce
0
Yapay zeka yazarın stilini taklit edemiyor: Kişiselleştirmede büyük eksiklik
Stanford araştırmacıları, yapay zekanın belirli bir yazarın stilinde metin üretme yeteneğini bilimsel yöntemlerle test etti. Sonuçlar hayal kırıklığı yarattı: mevcut tüm kişiselleştirme yöntemleri, yazarlık doğrulama biliminin standartlarına göre başarısız oldu. Araştırma, yazarlık doğrulama teorisine dayanan yeni bir değerlendirme sistemi geliştirdi ve yapay zekanın gerçek anlamda bir yazarın stilini yakalayamadığını ortaya koydu. Bu bulgular, yapay zeka sistemlerinin kişiselleştirme iddialarının abartılı olduğunu gösteriyor.
arXiv (Dilbilim & NLP) · 15 gün önce
0
Tıpta Yapay Zeka Güvenilirliği İçin Yeni Çerçeve: Kara Kutu Yerine Şeffaf Sistem
Araştırmacılar, klinik yapay zeka sistemlerinin güvenilirliğini artırmak için yeni bir çerçeve geliştirdi. Mevcut AI modellerinin 'kara kutu' yapısından farklı olarak, bu yaklaşım kanıt temelli, denetim altında ve aşamalı özerklik prensiplerine dayanıyor. Çalışma, tıpta AI güvenilirliğinin sadece model doğruluğu veya kullanıcı memnuniyetiyle değil, ölçülebilir sistem özellikleriyle sağlanması gerektiğini vurguluyor. Önerilen sistem, deterministik bir çekirdek, hasta-odaklı AI asistanı, çok katmanlı model yükseltme mekanizması ve insan denetim katmanını birleştiriyor. Bu yaklaşım, kritik bulgularda seçici doğrulama, sınırlı klinik bağlam ve dikkatli değerlendirme süreçleri içeriyor.
arXiv (Dilbilim & NLP) · 15 gün önce
0
Yapay Zeka Bilim İnsanlarının Hayali Atıflarını Yakalayan Yeni Araç
Araştırmacılar, bilimsel makalelerdeki sahte atıfları tespit eden HalluCiteChecker adlı hafif bir araç geliştirdi. Yapay zeka asistanlarının akademik yazımda yaygınlaşmasıyla birlikte, gerçekte var olmayan çalışmalara yapılan hayali atıflar ciddi bir sorun haline geldi. Bu durum hem bilimsel makalelerin güvenilirliğini sarsiyor hem de hakem ve yazarlara ek iş yükü getiriyor. Yeni araç, standart bir dizüstü bilgisayarda saniyeler içinde doğrulama yapabiliyor ve tamamen çevrimdışı çalışabiliyor. Sadece CPU kullanarak verimli şekilde çalışan sistem, hakem iş yükünü azaltmayı ve akademik kalite kontrolünü desteklemeyi hedefliyor.
arXiv (Dilbilim & NLP) · 15 gün önce
0
ClawGym: Yapay Zeka Asistanları için Yeni Eğitim Çerçevesi Geliştirildi
Araştırmacılar, yerel dosyalar ve araçlarla çalışabilen gelişmiş yapay zeka asistanlarının eğitimi için ClawGym adında kapsamlı bir framework geliştirdi. Bu sistem, çok adımlı iş akışlarını yönetebilen AI ajanlarının sistematik bir şekilde eğitilmesi sorununa çözüm getiriyor. ClawGym, 13.500 filtrelenmiş görev içeren geniş bir veri seti ile birlikte, gerçekçi çalışma ortamları ve doğrulama mekanizmaları sunuyor. Framework, kişisel asistan tarzı AI modellerinin geliştirilmesinde tam bir yaşam döngüsü desteği sağlayarak, hem denetimli öğrenme hem de pekiştirmeli öğrenme yöntemlerini kullanıyor. Bu gelişme, günlük hayatta karmaşık görevleri yerine getirebilen daha yetenekli AI asistanlarının geliştirilmesi yolunda önemli bir adım olarak değerlendiriliyor.
arXiv (Dilbilim & NLP) · 15 gün önce
0
Doğadan Teknolojiye: Çam Kozalaklarından İlham Alan Yeni Tasarım Çerçevesi
Araştırmacılar, doğal sistemlerin uyarı-tepki mekanizmalarını mühendislik uygulamalarına sistematik olarak aktarabilen yeni bir matematiksel çerçeve geliştirdi. Kategori teorisi temelli bu yaklaşım, biyolojik tasarım mantığını koruyan formal bir çeviri sistemi sunuyor. Çam kozalaklarının nem değişimlerine verdiği tepkiyi model alan çalışma, doğadaki hiyerarşik organizasyonu mühendislik çözümlerine dönüştürmenin yollarını açıyor. Bu framework, biyolojik mekanizmalardan yola çıkarak adaptive malzemeler ve sistemler tasarlama konusunda önemli bir adım olarak değerlendiriliyor.
arXiv — Yoğun Madde Fiziği · 15 gün önce
0