Computationaltoken

Análise abrangente de sistemas blockchain sob a perspetiva de processamento de dados, cobrindo tecnologias de ledger distribuído, protocolos de consenso, contratos inteligentes e benchmarking de desempenho com o framework BLOCKBENCH.

Análise de pesquisa sobre tokens incompletos em tokenizadores BPE de nível de byte e sua vulnerabilidade a bigramas improváveis que causam comportamentos alucinatórios em LLMs.

Análise quantitativa de letras de Flamenco usando PNL e aprendizagem automática para classificar géneros, identificar campos semânticos e explorar ligações históricas através de padrões lexicais.

Documentação técnica e recursos abrangentes sobre a tecnologia e aplicações do computationaltoken.

Novo método de poda de tokens para Vision Transformers que considera conjuntamente importância e diversidade para reduzir complexidade computacional mantendo precisão.

Análise de um novo algoritmo de tempo linear para tokenização WordPiece, melhorando a eficiência de modelos de PLN como o BERT. Inclui detalhes técnicos, resultados e aplicações futuras.

Análise da FNet, uma variante do Transformer que substitui a auto-atenção por Transformadas de Fourier para treinamento e inferência mais rápidos, mantendo precisão competitiva em benchmarks de PLN.

DafnyBench é o maior benchmark para treinar e avaliar sistemas de aprendizado de máquina para verificação formal de software, com 750+ programas e 53.000+ linhas de código.

Análise formal abrangente do Protocolo de Voucher de Permissão para autenticação com preservação de privacidade em cidades inteligentes usando Tamarin Prover e outras ferramentas de verificação.

Lamb é um analisador léxico que gera grafos de análise para lidar com ambiguidades lexicais, permitindo análise sensível ao contexto através de colaboração com parsers.

Análise abrangente da verificação de programas MPI usando modelos matemáticos, com aplicação em algoritmos de multiplicação de matrizes e comparação com abordagens existentes.