Phi-4-reasoning
Phi-4-reasoning 是微軟推出的 140 億參數的推理模型,專為復雜推理任務設計。通過監督微調(SFT)訓練而成,使用了 OpenAI 的 o3-mini 模型生成的高質量推理...
Aero-1-Audio
Aero-1-Audio 是 LMMs-Lab 開發的輕量級音頻模型,基于 Qwen-2.5-1.5B 構建,僅包含 1.5 億參數。專為長音頻處理設計,能支持長達 15 分鐘的連續音頻輸入,無...
DeepSeek-Prover-V2
DeepSeek-Prover-V2 是深度求索團隊 DeepSeek 開源的專注于數學推理的超大規模語言模型。包含兩個版本:DeepSeek-Prover-V2-671B 和 DeepSeek-Prover-V2-7B,...