Computationaltoken

Blok zinciri sistemlerinin veri işleme perspektifinden kapsamlı analizi: dağıtık defter teknolojileri, mutabakat protokolleri, akıllı sözleşmeler ve BLOCKBENCH çerçevesiyle performans kıyaslaması.

Bayt düzeyinde BPE tokenizer'larındaki eksik token'ların ve LLM'lerde halüsinatif davranışlara neden olan olası olmayan bigram'lara karşı savunmasızlıklarının araştırma analizi.

Flamenko şarkı sözlerinin NLP ve Makine Öğrenimi ile nicel analizi, tarz sınıflandırması, anlamsal alan tanıma ve sözcük örüntüleri aracılığıyla tarihsel bağlantıların keşfi.

computationaltoken teknolojisi ve uygulamaları hakkında kapsamlı teknik dokümantasyon ve kaynaklar.

Vision Transformer'lar için hesaplama karmaşıklığını azaltırken doğruluğu koruyan, token önem ve çeşitliliğini birlikte değerlendiren yeni bir token budama yöntemi.

WordPiece tokenizasyonu için yeni bir doğrusal zamanlı algoritmanın analizi. BERT gibi NLP modellerinin verimliliğini artırır. Teknik detaylar, sonuçlar ve gelecek uygulamaları içerir.

FNet analizi: NLP kıyaslamalarında rekabetçi doğruluğu korurken, daha hızlı eğitim ve çıkarım için öz-dikkati Fourier Dönüşümleri ile değiştiren bir Transformer varyantı.

DafnyBench, biçimsel yazılım doğrulama için makine öğrenimi sistemlerini eğitmek ve değerlendirmek amacıyla 750+ program ve 53.000+ kod satırı içeren en büyük kıyaslama standardıdır.

Akıllı şehirlerde gizliliği koruyan kimlik doğrulama için İzin Voucher Protokolü'nün Tamarin Prover ve diğer doğrulama araçları kullanılarak kapsamlı biçimsel analizi.

Lamb, dil belirtimlerindeki sözcüksel belirsizlikleri yönetmek için sözcüksel analiz grafikleri üreten ve ayrıştırıcı işbirliğiyle bağlama duyarlı analiz sağlayan bir sözcüksel analiz aracıdır.

MPI program doğrulamasının matematiksel modeller kullanılarak kapsamlı analizi, matris çarpım algoritmalarına uygulanması ve mevcut doğrulama yaklaşımlarıyla karşılaştırılması.