Computationaltoken

Análisis integral de sistemas blockchain desde una perspectiva de procesamiento de datos, cubriendo tecnologías de registro distribuido, protocolos de consenso, contratos inteligentes y evaluación comparativa de rendimiento usando el marco BLOCKBENCH.

Análisis de investigación sobre tokens incompletos en tokenizadores BPE a nivel de byte y su vulnerabilidad a bigramas improbables que causan comportamientos alucinatorios en LLMs.

Análisis cuantitativo de letras flamencas mediante PLN y aprendizaje automático para clasificar géneros, identificar campos semánticos y explorar conexiones históricas a través de patrones léxicos.

Documentación técnica y recursos completos sobre la tecnología y las aplicaciones de computationaltoken.

Un novedoso método de poda de tokens para Vision Transformers que considera conjuntamente la importancia y diversidad de tokens para reducir la complejidad computacional manteniendo la precisión.

Análisis de un novedoso algoritmo de tiempo lineal para la tokenización WordPiece, mejorando la eficiencia de modelos de PLN como BERT. Incluye detalles técnicos, resultados y aplicaciones futuras.

Análisis de FNet, una variante de Transformer que reemplaza la autoatención con Transformadas de Fourier para un entrenamiento e inferencia más rápidos, manteniendo una precisión competitiva en benchmarks de PLN.

DafnyBench es el mayor punto de referencia para entrenar y evaluar sistemas de aprendizaje automático en verificación formal de software, con 750+ programas y 53,000+ líneas de código.

Análisis formal exhaustivo del Protocolo de Vales de Permiso para autenticación que preserva la privacidad en ciudades inteligentes utilizando Tamarin Prover y otras herramientas de verificación.

Lamb es un analizador léxico que genera grafos de análisis léxico para manejar ambigüedades léxicas en especificaciones de lenguaje, permitiendo análisis sensible al contexto mediante colaboración con el analizador sintáctico.

Análisis exhaustivo de verificación de programas MPI usando modelos matemáticos, con aplicación a algoritmos de multiplicación de matrices y comparación con enfoques de verificación existentes.