Computationaltoken

Комплексный анализ систем блокчейна с точки зрения обработки данных, включая распределенные реестры, протоколы консенсуса, смарт-контракты и оценку производительности с использованием фреймворка BLOCKBENCH.

Анализ неполных токенов в байт-уровневых BPE-токенизаторах и их уязвимости к неправдоподобным биграммам, вызывающим галлюцинации в больших языковых моделях.

Количественный анализ текстов фламенко с применением NLP и машинного обучения для классификации жанров, выявления семантических полей и исследования исторических связей через лексические паттерны.

Исчерпывающая техническая документация и ресурсы о технологии и приложениях computationaltoken.

Новый метод прореживания токенов для Vision Transformers, совместно учитывающий важность и разнообразие токенов для снижения вычислительной сложности при сохранении точности.

Анализ нового линейного алгоритма токенизации WordPiece, повышающего эффективность NLP-моделей, таких как BERT. Включает технические детали, результаты и перспективы применения.

Анализ FNet — варианта Transformer, заменяющего механизм самовнимания преобразованием Фурье для ускорения обучения и вывода при сохранении конкурентоспособной точности на NLP-бенчмарках.

DafnyBench — крупнейший бенчмарк для обучения и оценки систем машинного обучения в области формальной верификации ПО, содержащий 750+ программ и 53 000+ строк кода.

Комплексный формальный анализ протокола Permission Voucher для аутентификации с сохранением конфиденциальности в умных городах с использованием Tamarin Prover и других инструментов верификации.

Lamb — лексический анализатор, генерирующий графы лексического анализа для обработки лексических неоднозначностей в спецификациях языков, обеспечивающий контекстно-зависимый анализ через взаимодействие с парсерами.

Комплексный анализ верификации программ MPI с использованием математических моделей, применение к алгоритмам умножения матриц и сравнение с существующими подходами к верификации.