Goedel-Prover-V2
Goedel-Prover-V2 是普林斯頓大學、清華大學、英偉達等頂尖機構聯合推出的開源定理證明器。Goedel-Prover-V2通過分層式數據合成、驗證器引導的自我修正和模型...
Kimi Playground
Kimi Playground 是為開發者提供的工具調用能力體驗平臺。平臺能讓 AI 通過調用各種工具(如天氣查詢、酒店預訂、數據分析等)完成復雜的任務,不僅僅是進行...
EXAONE 4.0
EXAONE 4.0是韓國LG AI Research推出的自研混合推理大模型。模型融合通用自然語言處理和高級推理能力,支持韓語、英語和西班牙語。模型分為32B的專業版和1.2B...
RoboBrain 2.0
RoboBrain 2.0 是強大的開源具身大腦模型,能統一感知、推理和規劃,支持復雜任務的執行。RoboBrain 2.0 包含 7B(輕量級)和 32B(全規模)兩個版本,基于異...