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許可證的越南語文本排序模型,主要用於處理越南語文本的排序任務。