Computationaltoken

Comprehensive analysis of blockchain systems from a data processing perspective, covering distributed ledger technologies, consensus protocols, smart contracts, and performance benchmarking using BLOCKBENCH framework.

Research analysis of incomplete tokens in byte-level BPE tokenizers and their vulnerability to improbable bigrams causing hallucinatory behaviors in LLMs.

Quantitative analysis of Flamenco lyrics using NLP and machine learning to classify genres, identify semantic fields, and explore historical connections through lexical patterns.

A novel token pruning method for Vision Transformers that jointly considers token importance and diversity to reduce computational complexity while maintaining accuracy.

DafnyBench is the largest benchmark for training and evaluating machine learning systems for formal software verification, featuring 750+ programs with 53,000+ lines of code.

Comprehensive formal analysis of the Permission Voucher Protocol for privacy-preserving authentication in smart cities using Tamarin Prover and other verification tools.

Lamb is a lexical analyzer that generates lexical analysis graphs to handle lexical ambiguities in language specifications, enabling context-sensitive analysis through parser collaboration.

A comprehensive analysis of MPI program verification using mathematical models, with application to matrix multiplication algorithms and comparison with existing verification approaches.