AI项目库 | 第 2 页 | 柒柒AI导航

Kimina-Prover：Numina 联合 Kimi 开发的推理模型

Kimina-Prover简介 Kimina-Prover 是由 Numina 联合 Kimi 开发的推理模型，专注于 Lean 4 定理证明。它通过创新的强化学习方法和结构化推理模式，实现了高效...

3-9.其他模型

6天前

The AI Scientist-v2简介 The AI Scientist-v2是由Sakana AI团队开发的先进自动化科学发现系统。该系统通过集成创新的基于树的搜索算法和视觉语言模型（VLM）...

2-1.应用工具文本

6天前

PixelFlow简介 PixelFlow是由香港大学和Adobe联合开发的一种新型图像生成模型。它摒弃了传统潜在空间模型依赖预训练变分自编码器（VAE）的模式，直接在原始像...

3-2.图片生成模型

6天前

MedReason简介 MedReason是由美国加州大学圣克鲁斯分校、加拿大不列颠哥伦比亚大学、新加坡南洋理工大学等多所高校和机构推出的医学推理框架。该框架旨在通过...

2-5.应用工具其他

6天前

Seaweed-7B简介 Seaweed-7B是由字节跳动公司开发的一款视频生成基础模型，拥有约70亿参数。该模型由字节跳动的研究团队精心打造，旨在以较低的计算成本实现高...

3-3.视频生成模型

6天前

ScholarCopilot简介 ScholarCopilot是由加拿大滑铁卢大学、卡内基梅隆大学、多伦多向量研究所等机构的联合研究团队开发的学术写作辅助框架。它通过动态检索令...

2-1.应用工具文本

6天前

HoloPart简介 HoloPart是由香港大学和VAST项目团队共同开发的新型3D部分感知分割模型。该模型旨在将3D形状分解为完整的语义部分，即使这些部分被遮挡。Hol...

2-6.应用工具3D

6天前

UniRig简介 UniRig是由清华大学计算机科学与技术系BNRist团队开发的一种新型自动骨骼绑定框架。该框架旨在为多样化3D模型（包括人类、动物和虚构角色等）提供...

2-3.应用工具视频

6天前

FlexIP简介 FlexIP是由腾讯推出的一种新型图像生成编辑框架，旨在解决在个性化图像生成中身份保持与多样化编辑之间的权衡问题。该框架通过引入双适配器架...

2-2.应用工具图像

6天前

FantasyTalking简介 FantasyTalking是由阿里巴巴集团AMAP团队和北京邮电大学联合开发的一种新型音视频驱动的肖像动画生成框架。该技术利用预训练的视频扩...

2-2.应用工具图像

6天前