AI项目与工具

TheDream.ai

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

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

Harvey

Harvey是一款基于GPT-4的法律AI平台，专为法律从业者设计，提供法律研究、文档分析、合同审查、文件起草及工作流自动化等功能。支持多司法管辖区应用，提升法律工作的效率与准确性，助力律师专注于高价值任务。

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

VirtualWife

VirtualWife 是一款基于人工智能技术开发的虚拟角色项目，集成了自然语言处理、语音识别与合成、机器学习等功能，支持跨平台运行和个性化定制。其主要应用场景包括个人陪伴、心理健康辅导、在线教育、客户服务、娱乐互动和直播带货，致力于为用户提供智能化、多样化的交互体验。

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

Stable Artisan是一款基于Discord平台的图像和视频生成机器人服务，利用Stability AI的AI技术和模型，如Stable Diffusion 3和Stable Video Diffusion，使用户能够通过自然语言提示生成高质量的图像和视频。此外，它还提供了一系列图像编辑工具，包括搜索替换、背景去除、高清放大、扩展外延、控制素描和结构等功能，适用于创意人士、设计师、内容创作

AI项目与工具 2024年01月01日 46 点赞 0 评论 697 浏览

Paperpal

Paperpal是一款专为学术写作设计的AI工具，提供语言编辑、文本改写、投稿检查、抄袭检测、学术翻译等多功能服务。通过整合先进的AI技术，Paperpal能够实时提供符合学术规范的语言建议，并支持多种语言翻译与文献引用生成，助力用户高效完成科研任务。其适用范围覆盖学术写作全流程，特别适合全球范围内从事科学研究的专业人士。

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

Transfusion

Transfusion是由Meta公司开发的多模态AI模型，能够同时生成文本和图像，并支持图像编辑功能。该模型通过结合语言模型的下一个token预测和扩散模型，在单一变换器架构上处理混合模态数据。Transfusion在预训练阶段利用了大量的文本和图像数据，表现出强大的扩展性和优异的性能。其主要功能包括多模态生成、混合模态序列训练、高效的注意力机制、模态特定编码、图像压缩、高质量图像生成、文本生成

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

悬河

悬河是一款基于AI技术的虚拟角色社交平台，支持用户通过文字或语音与定制化的AI角色进行深度交流。其核心功能包括情感陪伴、IP互动、个性化角色定制、智能推荐和沉浸式聊天体验，广泛应用于情感支持、社交训练、心理辅导、生活助手及学习辅助等领域。

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

BFS

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

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