SHViT S3 — компактный визуальный трансформер для классификации изображений и извлечения признаков.

Подходит для: классификация изображений по категориям ImageNet · извлечение карт признаков из изображений · получение векторных представлений изображений

ShiningValiant3 — компактная дообученная модель Qwen3 для научных и общих рассуждений, задач по ИИ, кода и диалогов.

Подходит для: обсуждение научных вопросов и объяснение научных концепций · решение задач по математике и естественным наукам · помощь в проектировании систем и приложений на базе ИИ

Компактная модель семейства Qwen3 для генерации текста в сценариях, связанных с NHL и прогнозными рынками Polymarket.

Подходит для: анализ хоккейных матчей NHL · подготовка текстовых прогнозов по спортивным событиям · объяснение вероятностей и исходов на Polymarket

Обученный агент SAC для управления двуногим персонажем в симуляции BipedalWalkerHardcore-v3.

Подходит для: управление двуногим роботом в среде BipedalWalkerHardcore-v3 · демонстрация обучения с подкреплением на непрерывных действиях · оценка алгоритма SAC в симуляции ходьбы

Экспериментальный сжатый вариант Llama 3 8B Instruct для исследования влияния сжатия на безопасность и полезность ответов.

Подходит для: сравнение безопасности модели до и после SVD-сжатия · измерение устойчивости к вредоносным запросам на бенчмарках · изучение восстановления поведения после сжатия параметров

Производная модели wyt2000/CodeV-SVA-14B. Дообученная модель Qwen3 на 14 млрд параметров преобразует текстовые требования к аппаратуре в утверждения SystemVerilog Assertions.

Подходит для: генерация SVA-утверждений по требованиям на естественном языке · создание черновиков проверок RTL-дизайнов · подготовка вариантов аппаратных assertions для верификации

Дообученная модель Qwen3 на 14 млрд параметров преобразует текстовые требования к аппаратуре в утверждения SystemVerilog Assertions.

Подходит для: генерация SVA-утверждений по требованиям на естественном языке · создание черновиков проверок RTL-дизайнов · подготовка вариантов аппаратных assertions для верификации

Экспериментально сжатый чекпойнт Llama 3 8B Instruct для исследования влияния SVD-сжатия на безопасность и полезность диалоговой генерации текста.

Подходит для: изучение влияния сжатия SVD на защиту языковой модели · сравнение атак на безопасность сжатых LLM · оценка компромисса между безопасностью и полезностью модели

Экспериментальный сжатый вариант Llama 3 8B Instruct для исследования влияния сжатия и восстановления безопасности диалоговых моделей.

Подходит для: оценка устойчивости сжатой Llama 3 к вредоносным запросам · сравнение метрик безопасности до и после сжатия языковой модели · исследование влияния SVD-сжатия на отказы и полезность модели

Экспериментальный чекпойнт Qwen3, дообученный методом SAO для изучения устойчивости обучения и решения сложных математических задач.

Подходит для: Решение сложных олимпиадных задач по математике · Генерация пошаговых рассуждений с ответом в формате \boxed{} · Сравнение SAO с базовой моделью Qwen3 на математических бенчмарках

Экспериментальная сжатая версия Llama-3-8B-Instruct для исследования влияния SVD-сжатия на безопасность и полезность генерации текста.

Подходит для: сравнение безопасности сжатых языковых моделей · измерение устойчивости к вредоносным запросам · оценка чрезмерных отказов чат-модели

Модель MuRIL, дообученная для поиска персональных и медицинских данных в клинических текстах на индийских языках.

Подходит для: поиск имён и персональных данных в клинических документах · обнаружение медицинских идентификаторов ABHA и Aadhaar · подготовка синтетических клинических документов к обезличиванию

Экспериментальный сжатый чекпойнт Llama 3.1 8B Instruct для исследования компромиссов между безопасностью и полезностью при SVD-сжатии.

Подходит для: изучение влияния SVD-сжатия на поведение языковой модели · сравнение правил восстановления компонентов после сжатия · оценка устойчивости к запросам, вызывающим вредные ответы

Satella-30B-A3B — дообученная разреженная Qwen3 MoE-модель для многошаговых рассуждений, программирования, математики и технических ответов.

Подходит для: Решение многошаговых математических задач · Генерация и отладка программного кода · Объяснение алгоритмов и технических концепций

Дообученная Valiant Labs модель Ministral 3 для научных и технических рассуждений, программирования и общего диалога.

Подходит для: объяснение научных и технических вопросов · помощь в проектировании систем искусственного интеллекта · анализ задач по математике и информатике

MicroViT-S3 — компактная модель SHViT для классификации изображений по 1000 классам ImageNet-1K.

Подходит для: Классификация изображений по классам ImageNet · Распознавание объектов на фотографиях · Быстрая проверка классификатора изображений в прототипе

Обученный агент SAC для управления четвероногим роботом в симуляционной среде Ant-v3.

Подходит для: запуск агента для прохождения среды Ant-v3 · эксперименты с обучением с подкреплением в MuJoCo · сравнение SAC с другими алгоритмами управления

Обученный агент SAC управляет персонажем в среде Humanoid-v3 и предназначен для симуляций и экспериментов с обучением с подкреплением.

Подходит для: запуск обученного агента в симуляции Humanoid-v3 · воспроизведение поведения двуногого персонажа в MuJoCo · эксперименты с алгоритмом SAC в Stable-Baselines3

Агент SAC с HER управляет роботом Panda, захватывая объект и перемещая его к заданной позиции в симуляции PandaPickAndPlace-v3.

Подходит для: обучение манипулятора Panda захвату объектов в симуляции · перемещение захваченного объекта к целевой позиции · эксперименты с SAC и Hindsight Experience Replay