Mistral AI发布专为Lean4设计的开源模型Leanstral1.5，采用Apache-2.0许可。该模型总参数119B，仅6B激活参数，兼顾高性能与低成本。在miniF2F形式数学基准中，验证集和测试集均达100%完成率，并已挑战Putnam等高难度推理任务。
欧洲Mistral AI推出数学形式化证明模型Leanstral 1.5，专为Lean4语言，总参数119B但推理仅激活6B，以极低开销和Apache-2.0许可完全开源。在miniF2F基准上验证集和测试集均达100%完成率，PutnamBench同样表现惊人。
Alibaba
$0.75
输入tokens/百万
-
输出tokens/百万
上下文长度
01-ai
4
QuantStack
这是一个将hlwang06/HoloCine模型转换为GGUF格式的文本到视频生成模型，支持通过文本描述生成视频内容，采用Apache-2.0许可证。
rafacost
DreamOmni2-GGUF是将xiabs/DreamOmni2-7.6B模型转换为GGUF格式的图像到图像模型，支持多模态指令编辑和生成，遵循Apache-2.0许可证。
mlx-community
这是一个基于MLX框架的4位量化大语言模型，由瑞士人工智能研究所开发，支持多语言文本生成任务，采用Apache-2.0许可证发布。
Apertus-8B-Instruct-2509-4bit是基于swiss-ai/Apertus-8B-Instruct-2509转换的4位量化版本，专为MLX框架优化。该模型是一个多语言指令跟随大语言模型，支持多种语言文本生成任务，采用Apache-2.0许可证发布。
lmstudio-community
Seed-OSS-36B-Instruct是由ByteDance-Seed开发的大型语言模型，参数量达360亿，采用Apache-2.0开源许可证。该模型基于transformers库构建，支持vllm和mlx技术优化，特别针对苹果Silicon芯片进行了8位量化处理，提供高效的文本生成能力。
yarikdevcom
Seed-OSS-36B-Instruct是由ByteDance开发的360亿参数大型语言模型，基于Apache-2.0许可证开源。该模型专门针对指令跟随任务进行了优化，支持文本生成和对话功能，具有强大的理解和生成能力。
dnakov
Seed-OSS-36B-Instruct是字节跳动开发的文本生成模型，基于36B参数规模的大语言模型架构，专门针对指令跟随任务进行优化。该模型支持中英文双语，采用Apache-2.0开源许可证，可通过vllm和mlx推理框架进行高效部署。
Seed-OSS-36B-Instruct是由字节跳动开发的360亿参数大型语言模型，基于MLX框架优化，专注于文本生成任务。该模型支持中英文双语，采用Apache-2.0开源许可证，具备强大的指令跟随和内容生成能力。
grimjim
Magnolia-v3-medis-remix-12B-GGUF是基于mergekit技术合并的12B参数量化模型，以Mistral Nemo为主要组件，融合了医学微调作为噪声组件，适用于文本生成任务，采用Apache-2.0许可证。
Qwen-Image是基于Qwen架构的多模态视觉语言模型，支持文本到图像的生成任务，采用GGUF格式转换以便在ComfyUI中使用，保留了原模型的Apache-2.0许可证和使用限制。
minpeter
这是一个基于transformers库开发的多语言基础模型，特别针对韩语进行了优化。模型参数量为1.87亿，采用Apache-2.0开源许可证发布。
ERNIE-4.5-21B-A3B是百度开发的大语言模型，经过LM Studio团队的MLX 4位量化优化，专门针对苹果芯片进行了优化。该模型具有210亿参数，支持中文和英文，采用Apache-2.0开源许可证。
OpenBuddy
基于OpenBuddy/Qwen3-32B蒸馏的轻量级多语言大语言模型，支持8种语言，采用Apache-2.0许可证
sunblaze-ucb
基于Qwen2.5-3B在MATH数据集上进行直觉器微调后的版本，专注于数学推理和文本生成任务，采用apache-2.0许可证。
zhiyuan8
RWKV-7是基于RNN架构的新一代语言模型，结合了RNN的高效性和Transformer的表达能力。该系列包含不同参数规模的版本，支持长上下文文本生成任务，采用Apache-2.0开源协议。
tonyli8623
一个基于Apache-2.0许可的图像文本转文本模型，能够从图像中提取文本信息并转换为可编辑的文本格式。
Dramb
一个基于Apache-2.0许可的开源图像分割模型，适用于多种图像分割任务。
bartowski
基于12B参数的大语言模型，支持文本生成任务，采用Apache-2.0许可证发布。
drbaph
这是一个基于Apache-2.0许可证的文本转语音模型，支持英语语言处理。
truong1301
这是一个基于Apache-2.0许可证的越南语文本排序模型，主要用于处理越南语文本的排序任务。
Transformers%20--%3e%3cdefs%3e%3cstyle%3e%20.st0%20{%20fill:%20%23061b40;%20}%20.st1%20{%20fill:%20%23306af1;%20}%20.st2%20{%20fill:%20%235ce5cf;%20}%20%3c/style%3e%3c/defs%3e%3cg%3e%3cpath%20class='st0'%20d='M55,10.5h9v3h-9v9h12V7.5h-12v3ZM64,19.5h-6v-3h6v3Z'/%3e%3cpolygon%20class='st0'%20points='69%2016.5%2078%2016.5%2078%2019.5%2069%2019.5%2069%2022.5%2081%2022.5%2081%2013.5%2072%2013.5%2072%2010.5%2081%2010.5%2081%207.5%2069%207.5%2069%2016.5'/%3e%3cpolygon%20class='st0'%20points='95%2010.5%2095%207.5%2083%207.5%2083%2022.5%2095%2022.5%2095%2019.5%2086%2019.5%2086%2016.5%2095%2016.5%2095%2013.5%2086%2013.5%2086%2010.5%2095%2010.5'/%3e%3cpath%20class='st0'%20d='M40,1.5v21h11.6l1.4-1.4v-7.6h0c0,0-1.4-1.5-1.4-1.5l1.4-1.4V2.9l-1.4-1.4h-11.6ZM50,19.5h-7v-6h7v6ZM50,10.5h-7v-6h7v6Z'/%3e%3c/g%3e%3cpath%20class='st1'%20d='M23.1,24L14.7,4.8l-4.9,11.2h3.8l-1.8,4H3.3L12.1,0H2C.9,0,0,.9,0,2v20c0,1.1.9,2,2,2h21.1Z'/%3e%3cpath%20class='st2'%20d='M34,0h-16.8l10.6,24h6.2c1.1,0,2-.9,2-2V2C36,.9,35.1,0,34,0ZM32.5,20h-4V4h4v16Z'/%3e%3c/svg%3e)
'%3e%3cpath%20d='M55.2622%2038L48.2289%2022L44.1206%2031.3333H47.2539L45.7872%2034.6667H38.7622L46.0956%2018H37.6706C36.7539%2018%2036.0039%2018.75%2036.0039%2019.6667V36.3333C36.0039%2037.25%2036.7539%2038%2037.6706%2038H55.2622Z'%20fill='white'/%3e%3cpath%20d='M64.3368%2018H50.3535L59.1535%2038H64.3368C65.2535%2038%2066.0035%2037.25%2066.0035%2036.3333V19.6667C66.0035%2018.75%2065.2535%2018%2064.3368%2018ZM63.0868%2034.6667H59.7535V21.3333H63.0868V34.6667Z'%20fill='%23FFCC66'/%3e%3cpath%20d='M89.3379%2026.75V29.25H81.8379V36.75H91.8379V24.25H81.8379V26.75H89.3379ZM84.3379%2034.25V31.75H89.3379V34.25H84.3379Z'%20fill='white'/%3e%3cpath%20d='M103.504%2036.75V29.25H96.0039V26.75H103.504V24.25H93.5039V31.75H101.004V34.25H93.5039V36.75H103.504Z'%20fill='white'/%3e%3cpath%20d='M115.17%2026.75V24.25H105.17V36.75H115.17V34.25H107.67V31.75H115.17V29.25H107.67V26.75H115.17Z'%20fill='white'/%3e%3cpath%20d='M80.1712%2029.25V29.175L78.9962%2028L80.1712%2026.825V20.425L78.9962%2019.25H69.3379V36.75H78.9962L80.1712%2035.575V29.25ZM77.6712%2034.25H71.8379V29.25H77.6712V34.25ZM77.6712%2026.75H71.8379V21.75H77.6712V26.75Z'%20fill='white'/%3e%3c/g%3e%3cg%20clip-path='url(%23clip1_644_3948)'%3e%3cpath%20d='M169.59%2022.9827L169.59%2023.6491H177.409L168.175%2032.8822L169.118%2033.8248L178.351%2024.5917L178.352%2032.4106H179.685V22.3164L179.018%2022.3157H169.59V22.9827Z'%20fill='white'/%3e%3c/g%3e%3cdefs%3e%3cclipPath%20id='clip0_644_3948'%3e%3crect%20width='80'%20height='20'%20fill='white'%20transform='translate(36%2018)'/%3e%3c/clipPath%3e%3cclipPath%20id='clip1_644_3948'%3e%3crect%20width='20'%20height='20'%20fill='white'%20transform='translate(164%2018)'/%3e%3c/clipPath%3e%3c/defs%3e%3c/svg%3e)
