AI項目和框架
Goedel-Prover
Goedel-Prover(哥德爾證明器)是普林斯頓大學、清華大學、清華大學等機構推出的開源大型語言模型(LLM),用在自動化數學問題的形式證明生成。基于將自然語...
RWKV-7-2.9B
RWKV-7-2.9B模型(RWKV-7-World-2.9B-V3) 是RWKV 基金推出的先進 RNN 大語言模型。基于 RWKV World V3 數據集訓練,具有 29 億參數,支持世界所有語言。模型...
Lumina-Video
Lumina-Video是上海 AI Lab 和香港中文大學推出的視頻生成框架,基于Next-DiT架構,針對視頻生成中的時空復雜性進行優化。基于多尺度Next-DiT架構,用不同大...
Animate Anyone 2
Animate Anyone 2 是阿里巴巴集團通義實驗室推出的高保真角色圖像動畫生成技術,通過結合環境信息生成更具真實感的角色動畫。與傳統方法不同,能從視頻中提取...
AuraFusion360
AuraFusion360是用于360°無邊界場景修復的新型基于參考的方法,主要用于虛擬現實和建筑可視化等領域的三維場景修復。通過高斯散射表示的3D場景,實現了高質量...
PDF to Podcast
PDF to Podcast是NVIDIA推出的PDF轉音頻的AI工具,基于NVIDIA NIM微服務架構的,能將PDF文檔轉換為生動的音頻內容,如播客。基于大型語言模型(LLM)、文本到...