TinyR1-Preview
TinyR1-Preview是北京大學計算機學院與360公司聯合推出的32B參數量的推理模型。模型僅用5%的參數量,逼近Deepseek-R1-671B的性能,TinyR1-Preview在數學領域...
Gemini Code Assist
Gemini Code Assist 是 Google 推出的 AI 編程工具,能幫助開發者更高效地編寫代碼、提升代碼質量。Gemini Code Assist 基于 Gemini 2.0 模型,支持所有公開...
AgentRefine
AgentRefine 是北京郵電大學和美團聯合提出的智能體合成框架,通過“精煉調整”(Refinement Tuning)提升基于大型語言模型(LLM)的智能體在多樣化任務中的泛...
BFS-Prover
BFS-Prover 是字節跳動豆包大模型團隊推出的基于大語言模型(LLM)的自動定理證明系統,通過改進傳統的廣度優先搜索(BFS)算法,結合專家迭代、直接偏好優化...