TokenVerse TokenVerse 是一种基于扩散模型的多概念图像生成工具,支持从单图或多图中解耦并组合视觉元素,如物体、材质、姿势等。通过优化调制空间,实现对复杂概念的局部控制,无需微调模型即可生成个性化图像,适用于创意设计、艺术创作和内容生成等多种场景。 AI项目与工具 2025年06月12日 38 点赞 0 评论 667 浏览
VRAG VRAG-RL是阿里巴巴通义大模型团队推出的视觉感知驱动的多模态RAG推理框架,旨在提升视觉语言模型在处理视觉丰富信息时的检索、推理和理解能力。通过定义视觉感知动作空间,实现从粗粒度到细粒度的信息获取,并结合强化学习和综合奖励机制优化模型性能。该框架支持多轮交互推理,具备良好的可扩展性,适用于智能文档问答、视觉信息检索、多模态内容生成等多种场景。 AI项目与工具 2025年06月11日 84 点赞 0 评论 667 浏览
Spring.new Spring.new 是一款低代码/无代码 AI 开发平台,允许用户通过自然语言创建和部署定制化应用,无需编程。支持多工具集成,具备实时调整功能,并兼容多种 AI 模型,适用于营销、反馈管理及轻量级 CRM 构建等多种场景。 AI项目与工具 2025年06月11日 41 点赞 0 评论 666 浏览
TTS Online TTS Online是一款免费的文本转语音工具,提供语音合成服务,支持多种语言,包括英语、法语、德语、西班牙语、阿拉伯语、中文、日语、韩语等,以及多种语音风格。 Ai语音工具 2025年06月05日 99 点赞 0 评论 666 浏览
VideoFusion VideoFusion 是一款开源的短视频处理工具,支持自动去除黑边、水印和字幕,智能旋转视频方向,提升画质,并兼容多种视频格式。具备批量处理、自定义设置和实时进度反馈功能,适用于视频创作者、自媒体运营及企业等多场景应用。 AI项目与工具 2025年06月12日 27 点赞 0 评论 666 浏览
Goedel Goedel-Prover是一款由多所高校联合开发的开源大型语言模型,专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言(如Lean 4),生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能,在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域,具备强大的数学推理能力和广泛的应用前景。 AI项目与工具 2025年06月12日 50 点赞 0 评论 666 浏览
OneAI OneAI是一款基于AI大语言模型的智能对话工具,支持多语言交流、信息检索、文本创作、翻译及生活辅助等功能。适用于学习辅导、写作协助、客户服务等多种场景,提供高效、精准的服务,提升用户体验与效率。 AI项目与工具 2025年06月12日 72 点赞 0 评论 665 浏览
Aconvert 一款免费的在线格式转换工具,支持多达 110 多种文件格式转换,包括 PDF、文档、电子书、图片、音频、视频和压缩文件等。 格式转换 2025年06月05日 28 点赞 0 评论 665 浏览
魔力设 魔力设是一款集设计模板、版权素材和AI工具于一体的在线设计平台,支持海报、PPT、展板等多种设计类型。提供海量正版素材与在线编辑功能,结合AI智能抠图和PPT生成技术,提升设计效率。支持多格式导出,适用于商务、教育、营销及内容创作等多个场景。 AI项目与工具 2025年06月12日 78 点赞 0 评论 665 浏览