Lean Finder — модель семантического поиска по теоремам Lean и Mathlib, которая сопоставляет естественные запросы и состояния доказательства с релевантным формальным кодом.
Подходит для: поиск теорем Mathlib по описанию на естественном языке · поиск релевантных лемм по формальному утверждению Lean · поиск по текущему состоянию доказательства
Дообученная на базе DeepSeek-R1-Distill-Llama-8B модель Llama для генерации неотфильтрованных диалоговых ответов и исследований поведения ИИ.
Подходит для: изучение поведения языковых моделей без фильтров безопасности · тестирование модерации и систем защиты контента · проверка ответов ИИ на провокационные запросы
Компактная англоязычная модель LDT-10M демонстрирует обучение языковой модели с нуля, но генерирует связный текст лишь на коротких отрезках.
Подходит для: изучение обучения языковых моделей с нуля · эксперименты с архитектурами языковых моделей малого размера · оценка влияния малого числа параметров на связность генерации
Предварительно обученная модель Gated DeltaNet на 442 млн параметров для генерации текста и исследований рекуррентно-внимательных языковых моделей с маршрутизацией по энтропии.
Подходит для: генерация продолжения текста по заданному промпту · эксперименты с гибридом рекуррентных слоёв и внимания · исследование маршрутизации внимания по неопределённости предсказаний
Предварительно обученная модель Gated DeltaNet на 1,5 млрд параметров с энтропийно управляемыми блоками внимания для генерации текста и исследований гибридных архитектур.
Подходит для: генерация продолжений текста · исследование гибридов рекуррентных сетей и внимания · эксперименты с маршрутизацией внимания по неопределённости
Delta-веса LLaVA на 6,6 млрд параметров, предназначенные для восстановления мультимодального чат-бота LLaMA/Vicuna для диалога об изображениях.
Подходит для: ответы на вопросы о содержимом изображений · подробное описание изображений в диалоге · визуальные рассуждения по изображению
DLA102x — модель компьютерного зрения для классификации изображений ImageNet-1k и извлечения визуальных признаков.
Подходит для: классификация изображений по категориям ImageNet · извлечение карт признаков для компьютерного зрения · получение эмбеддингов изображений
Компактная модель DLA, обученная на ImageNet-1k для классификации изображений и извлечения визуальных признаков.
Подходит для: классификация изображений по категориям ImageNet · извлечение карт признаков из изображений · получение эмбеддингов изображений
Компактная модель DLA для классификации изображений ImageNet-1k и извлечения визуальных признаков.
Подходит для: классификация изображений по классам ImageNet · извлечение карт признаков из изображений · получение эмбеддингов изображений
Компактная модель DLA для классификации изображений ImageNet-1k и извлечения визуальных признаков.
Подходит для: Классификация изображений по классам ImageNet-1k · Извлечение карт признаков из изображений · Получение эмбеддингов изображений для поиска и сравнения
Компактная модель DLA для классификации изображений ImageNet-1k и извлечения визуальных признаков.
Подходит для: классификация объектов на изображениях · получение классов ImageNet для фотографии · извлечение карт признаков изображения
DACTYL — дообученный на DeBERTa V3 Large классификатор для выявления текста, сгенерированного языковыми моделями.
Подходит для: проверка текста на генерацию языковой моделью · выявление ИИ-текстов в пользовательских публикациях · анализ студенческих эссе на машинную генерацию
Предобученная англоязычная модель Gated DeltaNet на 182 млн параметров генерирует текст и предназначена для исследований гибридных рекуррентно-внимательных архитектур.
Подходит для: генерация продолжения английского текста · эксперименты с гибридными рекуррентно-внимательными языковыми моделями · исследование маршрутизации внимания по неопределённости модели
Экспериментальная производная Llama 3.2 1B Instruct с изменёнными весами для исследований отказов, интерпретируемости и оценки безопасности.
Подходит для: исследование механизмов отказа языковых моделей · red teaming моделей, склонных отвечать на вредоносные запросы · оценка защитных механизмов и поведения модели
Исследовательская языковая модель GatedDeltaNet на 340 млн параметров для изучения массивных активаций и гибридного линейного внимания.
Подходит для: анализ всплесков активаций в языковой модели · исследование гибридного линейного внимания · воспроизведение экспериментов по PAS и ISP
Модель DLA-60 для классификации изображений ImageNet-1k и извлечения визуальных признаков.
Подходит для: классификация изображений по категориям ImageNet · извлечение карт признаков из изображений · получение эмбеддингов изображений
Исследовательская дистиллированная языковая модель Arcee.ai с KDA во всех слоях для изучения линейного внимания и генерации текста.
Подходит для: сравнение линейного внимания KDA с полным вниманием · исследование дистилляции внимания в языковых моделях · генерация текста на длинных последовательностях
Delta-веса StableVicuna-13B от CarperAI предназначены для восстановления разговорной модели на базе LLaMA 13B и генерации ответов на английском языке.
Подходит для: диалоги с англоязычным чат-ботом · ответы на инструкции на английском языке · генерация ответов на вопросы
Диалоговая модель Llama-3-8B с экспериментально сниженной генерацией персональных идентификаторов для исследований и оценки редактирования моделей.
Подходит для: проверка генерации персональных идентификаторов в ответах модели · оценка методов снижения утечек персональных данных · эксперименты по редактированию поведения языковых моделей
Дельта-веса Wombat-7B на базе Alpaca, дообученной методом RRHF для следования инструкциям и исследований обучения языковых моделей по обратной связи.
Подходит для: эксперименты с выравниванием языковой модели по предпочтениям · генерация ответов на пользовательские инструкции · исследование обучения по обратной связи от людей
Экспериментальная DPO-дообученная Gemma 2 для исследования дрейфа предпочтений и устойчивости оценивания LLM-судьями.
Подходит для: исследование дрейфа предпочтений при оценке ответов LLM · изучение влияния рубрик оценивания на выравнивание моделей · проверка устойчивости LLM-судей к вариантам рубрик
Компактная экспериментальная Llama-модель для генерации текста, полученная слиянием arco и Danube 3 500M.
Подходит для: эксперименты с генерацией текста на компактной модели · zero-shot оценка на тестах общего знания · сравнение небольших языковых моделей на бенчмарках
Мультимодальная версия Kimi K3 с ослабленными механизмами отказа для исследований безопасности и контролируемой red-team-оценки.
Подходит для: анализ механизмов отказа языковых моделей · red-team-тестирование поведения модели · программирование и работа с большими кодовыми базами
Delta-чекпойнт LLaVA на 13 млрд параметров для создания чат-бота, отвечающего на вопросы об изображениях после применения к исходным весам LLaMA.
Подходит для: ответы на вопросы по изображению · создание диалогового чат-бота для визуального анализа · подробное описание изображений