-
#1Desentrañando Blockchain: Una Visión del Procesamiento de Datos en Sistemas BlockchainAná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.
-
#2Bigramas Improbables: Vulnerabilidades en Tokenizadores BPE a Nivel de ByteAná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.
-
#3Análisis Léxico Computacional de los Géneros del Flamenco: Enfoque de PLN y Aprendizaje AutomáticoAná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.
-
#4computationaltoken - Documentación Técnica y RecursosDocumentación técnica y recursos completos sobre la tecnología y las aplicaciones de computationaltoken.
-
#5Más Allá de los Tokens Atentos: Transformadores de Visión Eficientes con Importancia y Diversidad de TokensUn 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.
-
#6Tokenización Fast WordPiece: Un Algoritmo de Tiempo Lineal para BERT y Más Allá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.
-
#7FNet: Mezcla de Tokens con Transformadas de Fourier en Codificadores TransformerAná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.
-
#8DafnyBench: Un Punto de Referencia para la Verificación Formal de SoftwareDafnyBench 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.
-
#9Verificación Formal del Protocolo de Vales de Permiso: Análisis de Seguridad e ImplementaciónAná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.
-
#10Lamb: Análisis Léxico con Soporte para Ambigüedad en el Procesamiento de Lenguajes Sensibles al ContextoLamb 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.
-
#11Verificación de Programas MPI: Un Modelo Matemático para Computación ParalelaAná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.
Última actualización: 2025-12-13 10:36:05