AI項目和框架
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,...
Qwen2.5-Omni-3B
Qwen2.5-Omni-3B 是阿里巴巴 Qwen 團隊推出的輕量級多模態 AI 模型。是 Qwen2.5-Omni-7B 的精簡版,專為消費級硬件設計,支持文本、音頻、圖像和視頻等多種輸...
Embodied Reasoner
Embodied Reasoner是浙江大學、中國科學院軟件研究所、阿里巴巴集團等機構推出的新型的具身交互推理模型,基于視覺搜索、推理和行動協同完成復雜任務。模型基...