Kimina-Prover-Distill-1.7B
AI-MO/Kimina-Prover-Distill-1.7B — это модель доказательства теорем, разработанная командами Project Numina и Kimi с упором на возможности решения проблем...
AI-MO/Kimina-Prover-Distill-1.7B — это модель доказательства теорем, разработанная командами Project Numina и Kimi с упором на возможности решения проблем...
Это версия Qwen/Qwen3-0.6B без цензуры, созданная с помощью аблитерации (более подробную информацию об этом см. в разделе «Удалить-отказы-с-трансформерами»)....
Эта модель предоставляет несколько вариантов google/Gemma-3-12B-IT, готовых к развертыванию в Интернете с использованием API вывода MediaPipe LLM. Чтобы...
Mozilla упаковала модели Qwen 3 в исполняемые файлы, которые мы называем llamafiles. Это дает вам самый простой и...
Эта модель mlx-community/Josiefied-Qwen3-4B-abliterated-v1-4bit была преобразована в формат MLX из Goekdeniz-Guelmez/Josiefied-Qwen3-4B-abliterated-v1 с использованием mlx-lm версии 0.24.0. Модальности:Генерация текста Области...
Наши обучающие данные представляют собой смесь вопросов и ответов, данных формата чата по математике, естественным наукам и программированию....
Zero-Mistral-24B — это улучшенная ТЕКСТОВАЯ версия mistralai/Mistral-Small-3.1-24B-Instruct-2503, адаптированная в первую очередь для русского и английского языков. Оригинальная модель...
Наш новейший метод квантования представляет собой высокоточное адаптивное квантование для моделей со сверхмалой разрядностью (1–2 бита) с проверенными...
Наш новейший метод квантования представляет собой высокоточное адаптивное квантование для моделей со сверхмалой разрядностью (1–2 бита) с проверенными...
Наш новейший метод квантования представляет собой высокоточное адаптивное квантование для моделей со сверхмалой разрядностью (1–2 бита) с проверенными...