AI项目与工具

EliGen

EliGen是由浙江大学与阿里巴巴集团联合开发的实体级可控图像生成框架，采用区域注意力机制实现对图像中实体的精确控制，支持多实体修复、风格化生成及交互式编辑。基于50万高质量注释样本训练，具备强大泛化能力，适用于虚拟场景、角色设计、数据合成及产品展示等场景。

AI项目与工具 2025年06月12日 97 点赞 0 评论 1049 浏览

StoryWeaver

StoryWeaver是一款基于AI的故事可视化工具，利用知识图谱Character Graph和创新技术如CCG及KE-SG，实现高质量的角色定制和故事图像生成。它支持单角色与多角色场景，确保图像与文本语义的一致性，并适用于教育、漫画创作、游戏设计等多个领域。

AI项目与工具 2025年06月12日 27 点赞 0 评论 1049 浏览

LearnCoach

LearnCoach 是一款面向 K12 学生的 AI 学习平台，提供个性化课程、智能辅导和多种学习模式，如辅导课程与视频播放列表。平台包含丰富的视频教程和考试题库，帮助学生掌握重点知识，提升学习效率。支持语音输入与全天候访问，适用于日常学习、考前复习及课堂教学辅助，助力学生高效学习与成绩提升。

AI项目与工具 2025年06月12日 53 点赞 0 评论 1049 浏览

Fineshare VoiceTrans

Fineshare VoiceTrans 是一款支持实时变声的 AI 工具，可将声音转换为多种角色或性别，保留原有情感与语调。提供丰富的音效库、声音实验室和预设声音包，适用于游戏、直播、配音等场景。用户可通过不同订阅计划获得无限使用权限和定制服务，提升创作与互动体验。

AI项目与工具 2025年06月12日 24 点赞 0 评论 1048 浏览

红薯通AI

红薯通AI是一款专为小红书用户设计的人工智能写作助手，提供高效的内容创作支持。它具备基于人工智能技术的创作辅助、改写助手、个性化创作建议、智能素材推荐和跨平台兼容性等功能，旨在提升用户的内容创作质量和效率。红薯通AI适用于自媒体运营、商家引流、产品销售、代运营服务、内容创作者、品牌营销、旅游和美食分享及生活分享等多种应用场景。

AI项目与工具 2025年06月12日 41 点赞 0 评论 1048 浏览

Better AI Code

Better AI Code是一款人工智能编程辅助平台，提供智能代码提示、自动补全、代码审查与优化、在线编程练习等功能，帮助开发者提升编码效率与代码质量。平台支持初学者学习编程，也适用于专业开发者进行项目开发与团队协作，具有广泛的应用场景和用户群体。

AI项目与工具 2025年06月11日 26 点赞 0 评论 1048 浏览

Goedel

Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。

AI项目与工具 2025年06月12日 50 点赞 0 评论 1048 浏览