AI

笔灵AI小说

汇集爆款小说拆解、小说大纲一键生成、200+小说生成器、总结网文大神写作公式、精选小说资料库。

Transfusion

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

造梦日记Ai

造梦日记Ai,凭借在AI领域多年的深耕以及西湖大学实验室的成熟算力,用户输入一些关键词或者一段描述某场景的文字,便可在几秒内生成一张独创的、版权归属于自己的图片。

TheDream.ai

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

NotebookLM

一款基于Gemini 的AI笔记和研究助手,旨在帮助用户更高效地进行信息整理和思考。它利用Google Gemini来处理和分析用户上传的文档和信息源。

BFS

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

Harvey

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

VirtualWife

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

SkyCode天工智码

Sky-code 是 SingularityAI 研发的一款AI代码生成工具,支持各种主流编程语言,助力开发人员更快更好的编码。