模型
  1. 首页
  2. 模型

列表

NMT

NMT

NMT是一种由UC Berkeley和阿里巴巴联合开发的多任务学习框架，通过将多任务优化问题转化为约束优化问题，实现高优先级任务性能的保障。它基于拉格朗日乘数法，结合梯度下降与上升算法，简化了超参数调整流程，提高了模型训练效率和稳定性。NMT适用于推荐系统、搜索引擎、自然语言处理和金融风控等多个领域，具有良好的兼容性和扩展性。
AI项目与工具 2025年06月12日
Trae国内版

Trae国内版

Trae国内版是字节跳动推出的AI IDE，支持代码生成、补全、优化及自然语言指令生成。其核心功能包括Builder模式、智能体协作、多模型切换及上下文理解，提升开发效率。界面简洁易用，适配中文环境，适合从初学者到专业开发者使用。
AI项目与工具 2025年06月12日
Kimina

Kimina

Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型，采用强化学习技术，在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段，提升解题效率。在miniF2F基准测试中达到80.7%准确率，显著优于现有模型。具备高样本效率与良好可扩展性，适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。
AI项目与工具 2025年06月11日
讯飞星辰MaaS

讯飞星辰MaaS

讯飞星辰MaaS是一个AI大模型定制微调平台，提供从数据管理到模型微调、评估、托管及推理服务的全流程支持。平台支持多种行业知名模型的零代码微调，具有高度灵活性和可扩展性，适用于逻辑推理、数据管理和多模态应用等场景，为企业提供高效、专业的AI解决方案。
AI项目与工具 2025年06月12日
LOKI

LOKI

LOKI是一个由中山大学与上海AI实验室联合推出的合成数据检测基准，用于评估大型多模态模型在识别视频、图像、3D模型、文本及音频等多模态合成数据方面的性能。它包含超过18,000个问题，涵盖26个子类别，支持多层次标注和细粒度异常注释，并通过自然语言解释增强模型的可解释性。LOKI还通过对比多种开源和闭源模型的表现，揭示了这些模型在合成数据检测任务中的优势与不足。
AI项目与工具 2025年06月12日
Neural4D

Neural4D

Neural4D是一款由DreamTech团队开发的AI驱动型3D模型生成平台，利用Direct3D-5B大模型实现从文字或图片到高精度3D模型的自动化生成。其主要功能包括文本生成3D、图片生成3D、CuteMe Q版化身转换以及高精度模型输出。平台支持多种应用场景，如游戏开发、动画制作、虚拟现实设计、产品可视化及3D打印等，推动了3D内容创作领域的快速发展。
AI项目与工具 2025年06月12日
33字幕

33字幕

33字幕是一款集语音识别与文本翻译于一体的AI字幕生成工具，支持多种语言的语音转文字及翻译，可实现实时字幕生成与同步翻译。用户可通过本地AI模型免费运行，显著降低使用成本。该工具具备边识别边生成字幕、台词搜索等功能，广泛应用于视频创作、教育培训、企业会议等领域。
AI项目与工具 2025年06月12日
TransPixar

TransPixar

TransPixar是由多所高校及研究机构联合开发的开源文本到视频生成工具，基于扩散变换器（DiT）架构，支持生成包含透明度信息的RGBA视频。该技术通过alpha通道生成、LoRA微调和注意力机制优化，实现高质量、多样化的视频内容生成。适用于影视特效、广告制作、教育演示及虚拟现实等多个领域，为视觉内容创作提供高效解决方案。
AI项目与工具 2025年06月12日
文修大模型

文修大模型

文修是蜜度提供的一项基于人工智能的校对和润色服务，旨在提高中文文档的质量和表达的流畅性。
创作工具 1970年01月01日