-
#1Mengurai Rantaian Blok: Pandangan Pemprosesan Data terhadap Sistem Rantaian BlokAnalisis komprehensif sistem rantaian blok dari perspektif pemprosesan data, merangkumi teknologi lejar teragih, protokol konsensus, kontrak pintar, dan penanda aras prestasi menggunakan rangka kerja BLOCKBENCH.
-
#2Bigram Tidak Mungkin: Kelemahan dalam Tokenizer BPE Aras BaitAnalisis penyelidikan tentang token tidak lengkap dalam tokenizer BPE aras bait dan kerentanan mereka terhadap bigram tidak mungkin yang menyebabkan tingkah laku berhalusinasi dalam LLM.
-
#3Analisis Leksikal Komputasi Genre Flamenco: Pendekatan NLP dan Pembelajaran MesinAnalisis kuantitatif lirik Flamenco menggunakan NLP dan pembelajaran mesin untuk mengklasifikasikan genre, mengenal pasti bidang semantik, dan meneroka hubungan sejarah melalui corak leksikal.
-
#4computationaltoken - Dokumentasi Teknikal dan SumberDokumentasi dan sumber teknikal yang komprehensif mengenai teknologi dan aplikasi computationaltoken.
-
#5Melangkaui Token yang Prihatin: Transformer Penglihatan yang Cekap dengan Kepentingan dan Kepelbagaian TokenKaedah pemangkasan token novel untuk Vision Transformer yang mempertimbangkan kepentingan dan kepelbagaian token untuk mengurangkan kerumitan pengiraan sambil mengekalkan ketepatan.
-
#6Tokenisasi WordPiece Pantas: Satu Algoritma Masa Linear untuk BERT dan SeterusnyaAnalisis algoritma masa linear baharu untuk tokenisasi WordPiece, meningkatkan kecekapan model NLP seperti BERT. Termasuk butiran teknikal, keputusan, dan aplikasi masa depan.
-
#7FNet: Mencampur Token dengan Transformasi Fourier dalam Pengekod TransformerAnalisis FNet, varian Transformer yang menggantikan perhatian kendiri dengan Transformasi Fourier untuk latihan dan inferens lebih pantas sambil mengekalkan ketepatan kompetitif pada penanda aras NLP.
-
#8DafnyBench: Penanda Aras untuk Pengesahan Perisian FormalDafnyBench ialah penanda aras terbesar untuk melatih dan menilai sistem pembelajaran mesin bagi pengesahan perisian formal, menampilkan 750+ program dengan 53,000+ baris kod.
-
#9Pengesahan Formal Protokol Voucher Kebenaran: Analisis Keselamatan dan PelaksanaanAnalisis formal komprehensif Protokol Voucher Kebenaran untuk pengesahan pemeliharaan privasi dalam bandar pintar menggunakan Tamarin Prover dan alat pengesahan lain.
-
#10Lamb: Analisis Leksikal dengan Sokongan Kekaburan untuk Pemprosesan Bahasa Sensitif-KonteksLamb ialah penganalisis leksikal yang menjana graf analisis leksikal untuk mengendalikan kekaburan leksikal dalam spesifikasi bahasa, membolehkan analisis sensitif-konteks melalui kerjasama penghurai.
-
#11Pengesahan Program MPI: Model Matematik untuk Pengkomputeran SelariAnalisis komprehensif pengesahan program MPI menggunakan model matematik, dengan aplikasi kepada algoritma pendaraban matriks dan perbandingan dengan pendekatan pengesahan sedia ada.
Kemaskini terakhir: 2025-12-13 10:36:06