LalaEval LalaEval是由香港中文大学与货拉拉数据科学团队联合开发的针对特定领域大语言模型的人类评估框架。它提供了一套完整的端到端评估流程，涵盖领域界定、能力指标构建、评测集生成、标准制定及结果分析。通过争议度与评分波动分析，有效减少主观误差，提升评估质量。该工具已在物流领域成功应用，并具备良好的跨领域扩展性，适用于企业内部模型优化与多场景评测。 AI项目与工具 2025年06月12日 29 点赞 0 评论 982 浏览
Pollo AI Pollo AI是一款由HIX.AI推出的AI视频创作平台，支持文本、图像及视频风格转换等多种功能，能将文字或图片快速生成高质量视频。平台具备角色一致性保障、多风格转换、高清输出等特性，适用于短视频制作、品牌推广、教学视频等领域，为用户提供高效的AI视频生成体验。 AI项目与工具 2025年06月11日 71 点赞 0 评论 982 浏览
Goedel Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。 AI项目与工具 2025年06月12日 50 点赞 0 评论 982 浏览
SongR AI 一款可以让用户只需几个关键词创建定制歌曲的平台。无论用户的音乐经验如何，SongR AI都可以让你生成个性化的歌曲。 Ai语音工具 2025年06月05日 63 点赞 0 评论 983 浏览
Aitubo Aitubo是一款基于先进Flux模型的AI图像和视频生成平台，支持用户通过文本提示生成高质量图像，并具备背景移除、图像放大增强、AI外扩绘画以及人脸交换等功能，广泛应用于游戏开发、动漫制作、艺术创作及广告营销等领域。 AI项目与工具 2025年06月12日 42 点赞 0 评论 983 浏览
MCPHub MCPHub 是一个集成了多种 MCP 服务器的聚合平台，支持将多个服务器整合至流式 HTTP（SSE）端点，提供集中式管理界面和协议兼容性。具备热插拔配置、访问控制、安全认证等功能，支持 Docker 部署，适用于 AI 工具集成、多模型协同及私有化部署等场景，提升 AI 开发与管理效率。 AI项目与工具 2025年06月11日 40 点赞 0 评论 983 浏览
UNO UNO是字节跳动推出的AI图像生成框架，支持单主体和多主体图像生成，解决多主体一致性难题。采用扩散变换器和渐进式跨模态对齐技术，结合通用旋转位置嵌入（UnoPE），实现高一致性与可控性。适用于虚拟试穿、产品设计、创意设计等多个领域，具备强大泛化能力，已开源并提供完整技术文档。 AI项目与工具 2025年06月11日 23 点赞 0 评论 983 浏览
