AI

Upscayl

Upscayl 是一款效果非常出众的图片放大变清晰图片处理软件,通过使用高级的 AI 模型来升级低分辨率图像,使得模糊的图片即使放大也同样清晰。

SPDL

SPDL(Scalable and Performant Data Loading)是一款由Meta AI开发的开源工具,专注于提高AI模型训练效率。它通过多线程技术和异步事件循环实现高吞吐量数据加载,降低资源消耗,支持分布式系统和主流AI框架PyTorch,适用于大规模数据集及复杂任务。其主要特点包括高吞吐量、低资源占用、框架无关性、性能监控与调优能力以及分布式系统支持。

笔灵AI小说

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

Cooraft

Cooraft是一款基于AI技术开发的应用程序,主要功能是将普通照片转化为具有创意和艺术性的动画和渲染图。它支持多种艺术风格,如3D卡通、经典绘画等,并能为面部照片添加表情动画,生成艺术表情符号。无论是个人用户还是专业人士,都能利用此工具快速创作出具有独特风格的艺术作品,广泛应用于社交媒体分享、个性化表情包制作、专业摄影以及艺术创作等领域。

Transfusion

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

造梦日记Ai

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

NotebookLM

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

BFS

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

Harvey

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