AI

心绪云脑AI

一款专注于情绪健康管理的AI智能工具,提供情绪记录、实时情绪识别与疏导、心理健康课程等服务,帮助用户更好地管理情绪,提升心理健康。

大创

大创是一家专注于电商领域的AI技术公司,提供包括AI模特生成、虚拟试衣、商品展示优化及场景构建在内的多项功能,帮助企业提升商品展示效果和营销效率。凭借其强大的技术能力和灵活的服务模式,大创已成为电商行业的重要助力。

Vanus AI

零代码即可轻松创建个人 AI 机器人和知识库。多维度知识检索和基于知识库的内容交付,释放个人 AI 无限潜力。

ChefBot

ChefBot是一款基于AI技术的个性化食谱生成工具,能够根据用户提供的食材和饮食偏好,在短时间内生成定制化食谱,帮助用户高效规划餐食、减少食物浪费,同时支持健康饮食管理与烹饪技能提升。其功能包括AI驱动的食谱生成、个性化餐食规划、节约时间及减少食物浪费等,广泛适用于家庭烹饪、健康饮食管理、烹饪新手培训以及创意菜肴开发等多个场景。

Paper2Poster

Paper2Poster是由加拿大滑铁卢大学、新加坡国立大学等机构推出的学术框架,基于多模态自动化技术从科学论文生成海报。它通过Parser、Planner和Painter–Commenter系统实现内容压缩、布局优化和视觉质量提升,支持将长篇论文转化为结构化视觉海报。Paper2Poster引入PaperQuiz评估方法,确保海报有效传达核心内容,提高生成效率,适用于学术会议、报告、科研展示及教

RenderNet AI

一款功能强大的图像和视频生成器,可对角色设计、构图和风格进行广泛控制。RenderNet Al可进行视频换脸,可轻松通过照片更改视频人物面容。

Artguru Ai

一个免费在线的AI艺术生成器,用户只需输入一些词语或上传一张照片,就可以利用人工智能的魔力释放创造力,生成美丽的艺术作品。

BFS

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

AdCreative.ai

AdCreative.ai是一款基于人工智能技术的广告创意生成工具,能够自动生产高质量的广告文案、图片、视频等内容,支持多平台投放,包括Facebook、Google、LinkedIn等。其主要功能涵盖广告创意生成、品牌资料管理、竞争对手广告分析及批量素材制作,旨在帮助企业优化广告策略并提升广告表现。

Tolan

Tolan是一款AI驱动的陪伴应用,提供个性化对话、星球互动、照片反馈及语音交流等功能,帮助用户在日常生活中获得情感支持与互动体验。其应用场景涵盖社交娱乐、创意写作、语言学习等,适用于寻求情感陪伴或趣味互动的用户。支持多平台使用,提供灵活的订阅方案。