工具

artflow

Artflow 是一款利用人工智能技术打造的动画创作工具,用户只需输入文本便能生成包含剧情的动画视频。它支持动画合成、AI 角色生成及视频制作,涵盖多种语言与视觉风格选项,适合教育、营销、娱乐等多个领域应用,帮助用户实现高效且个性化的创意输出。

Gamma PPT生成工具

Gamma 是幻灯片的替代品 - 一种快速、简单的方式来分享和展示您的作品。创建易于现场讨论或异步共享的引人入胜的演示文稿、备忘录、简报和文档。全部在您的浏览器中,无需下载或安装。

TheDream.ai

TheDream.ai 是一款基于AI技术的图像生成工具,支持个性化头像和创意图像生成,提供200多种风格选择。用户上传照片后,可快速生成符合需求的图像,适用于社交媒体、职业形象和创意设计等场景。工具注重隐私保护,界面友好,操作便捷,适合各类用户使用。

BFS

BFS-Prover 是一种基于大语言模型的自动定理证明系统,通过改进广度优先搜索算法和长度归一化评分机制,提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构,支持复杂定理的高效验证,并与 Lean4 深度集成,确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域,推动了自动定理证明技术的发展。

RenderForest

RenderForest,人工智能 LOGO生成器,基于文本描述生成视觉内容的算法,以及细分行业和风格的 LOGO 模板,帮你更加精准地生成 LOGO。

AddressCLIP

AddressCLIP 是一种基于 CLIP 技术的端到端图像地理定位模型,由中科院自动化所与阿里云联合开发。它通过图像与地址文本对齐和地理匹配技术,实现街道级别的精确定位,无需依赖 GPS。模型在多个数据集上表现优异,适用于城市管理、社交媒体、旅游导航等多个场景,具备良好的灵活性和多模态结合潜力。

BetterBugs

BetterBugs是一款基于Chrome浏览器的扩展工具,通过一键式屏幕捕获、屏幕录制和自动技术信息收集等功能,帮助用户高效生成详细的bug报告。它支持与多种项目管理和沟通工具集成,适用于软件开发、质量保证、项目管理和客户支持等多个场景,旨在提升团队协作效率和问题解决速度。

Manga Image Translator

Manga Image Translator 是一个开源的漫画图片文字翻译工具,基于 OCR 和机器翻译技术,实现对漫画和图片中文字的自动识别与翻译。它支持多语言翻译,包括日文、中文、英文和韩文,并具备图像合成能力,保持原图风格。工具提供批量处理和在线/离线翻译功能,适用于漫画爱好者、语言学习者以及出版商等用户群体。

ChangeFace.AI

一种AI换脸工具,它允许用户上传一张高分辨率的单人照片,然后将自己的脸和一些有趣的图像进行交换,比如名人、动漫、艺术、卡通等。