-
#1Svelare la Blockchain: Una Prospettiva di Elaborazione Dati sui Sistemi BlockchainAnalisi completa dei sistemi blockchain dalla prospettiva dell'elaborazione dati, coprendo tecnologie di registro distribuito, protocolli di consenso, smart contract e benchmarking delle prestazioni con il framework BLOCKBENCH.
-
#2Bigrammi Improbabili: Vulnerabilità nei Tokenizzatori BPE a Livello di ByteAnalisi dei token incompleti nei tokenizzatori BPE a livello di byte e la loro vulnerabilità ai bigrammi improbabili che causano comportamenti allucinatori negli LLM.
-
#3Analisi Computazionale del Lessico nel Flamenco: Metodi di Elaborazione del Linguaggio Naturale e Machine LearningApplicazione di NLP e machine learning per l'analisi quantitativa dei testi flamenco, finalizzata alla classificazione dei generi, all'identificazione di campi semantici e all'esplorazione di connessioni storiche attraverso modelli lessicali.
-
#4computationaltoken - Documentazione Tecnica e RisorseDocumentazione tecnica completa e risorse sulla tecnologia e le applicazioni di computationaltoken.
-
#5Oltre i Token Attentivi: Vision Transformer Efficienti con Importanza e Diversità dei TokenUn metodo innovativo di pruning dei token per Vision Transformer che considera congiuntamente importanza e diversità per ridurre la complessità computazionale mantenendo l'accuratezza.
-
#6Fast WordPiece Tokenization: Un Algoritmo a Tempo Lineare per BERT e OltreAnalisi di un nuovo algoritmo a tempo lineare per la tokenizzazione WordPiece, che migliora l'efficienza per modelli NLP come BERT. Include dettagli tecnici, risultati e applicazioni future.
-
#7FNet: Miscelazione di Token con Trasformate di Fourier negli Encoder TransformerAnalisi di FNet, una variante Transformer che sostituisce il self-attention con Trasformate di Fourier per addestramento e inferenza più veloci, mantenendo un'accuratezza competitiva sui benchmark NLP.
-
#8DafnyBench: Un Benchmark per la Verifica Formale del SoftwareDafnyBench è il benchmark più grande per addestrare e valutare sistemi di machine learning per la verifica formale del software, con oltre 750 programmi e 53.000+ righe di codice.
-
#9Verifica Formale del Protocollo Permission Voucher: Analisi di Sicurezza e ImplementazioneAnalisi formale completa del protocollo Permission Voucher per autenticazione privacy-preserving nelle smart city utilizzando Tamarin Prover e altri strumenti di verifica.
-
#10Lamb: Analisi Lessicale con Supporto all'Ambiguità per l'Elaborazione di Linguaggi Sensibili al ContestoLamb è un analizzatore lessicale che genera grafi di analisi per gestire ambiguità lessicali nelle specifiche dei linguaggi, abilitando analisi sensibili al contesto tramite collaborazione con il parser.
-
#11Verifica di Programmi MPI: Un Modello Matematico per il Calcolo ParalleloAnalisi completa della verifica di programmi MPI mediante modelli matematici, con applicazione ad algoritmi di moltiplicazione di matrici e confronto con approcci di verifica esistenti.
Ultimo aggiornamento: 2025-12-13 10:36:06