-
#1Распутывая блокчейн: анализ систем блокчейна с точки зрения обработки данныхКомплексный анализ систем блокчейна с точки зрения обработки данных, включая распределенные реестры, протоколы консенсуса, смарт-контракты и оценку производительности с использованием фреймворка BLOCKBENCH.
-
#2Неправдоподобные биграммы: Уязвимости в байт-уровневых BPE-токенизаторахАнализ неполных токенов в байт-уровневых BPE-токенизаторах и их уязвимости к неправдоподобным биграммам, вызывающим галлюцинации в больших языковых моделях.
-
#3Вычислительный лексический анализ жанра фламенко: методы обработки естественного языка и машинного обученияКоличественный анализ текстов фламенко с применением NLP и машинного обучения для классификации жанров, выявления семантических полей и исследования исторических связей через лексические паттерны.
-
#4computationaltoken - Техническая документация и ресурсыИсчерпывающая техническая документация и ресурсы о технологии и приложениях computationaltoken.
-
#5За пределами внимательных токенов: Эффективные Vision Transformers с учетом важности и разнообразия токеновНовый метод прореживания токенов для Vision Transformers, совместно учитывающий важность и разнообразие токенов для снижения вычислительной сложности при сохранении точности.
-
#6Быстрая токенизация WordPiece: Линейный алгоритм для BERT и не толькоАнализ нового линейного алгоритма токенизации WordPiece, повышающего эффективность NLP-моделей, таких как BERT. Включает технические детали, результаты и перспективы применения.
-
#7FNet: Смешивание токенов с помощью преобразования Фурье в энкодерах TransformerАнализ FNet — варианта Transformer, заменяющего механизм самовнимания преобразованием Фурье для ускорения обучения и вывода при сохранении конкурентоспособной точности на NLP-бенчмарках.
-
#8DafnyBench: Бенчмарк для формальной верификации программного обеспеченияDafnyBench — крупнейший бенчмарк для обучения и оценки систем машинного обучения в области формальной верификации ПО, содержащий 750+ программ и 53 000+ строк кода.
-
#9Формальная верификация протокола Permission Voucher: Анализ безопасности и реализацияКомплексный формальный анализ протокола Permission Voucher для аутентификации с сохранением конфиденциальности в умных городах с использованием Tamarin Prover и других инструментов верификации.
-
#10Lamb: Лексический анализ с поддержкой неоднозначности для контекстно-зависимой обработки языковLamb — лексический анализатор, генерирующий графы лексического анализа для обработки лексических неоднозначностей в спецификациях языков, обеспечивающий контекстно-зависимый анализ через взаимодействие с парсерами.
-
#11Верификация программ MPI: Математическая модель для параллельных вычисленийКомплексный анализ верификации программ MPI с использованием математических моделей, применение к алгоритмам умножения матриц и сравнение с существующими подходами к верификации.
Последнее обновление: 2025-12-13 10:36:06