AI项目与工具

GroundingBooth

GroundingBooth 是一种创新的文本到图像定制框架,通过结合文本-图像对齐模块和遮罩交叉注意力层,实现了前景主体与背景对象的空间精准对齐。其核心功能包括单主题与多主题定制、身份保留、文本-图像一致性保障及复杂场景下的高精度生成。该工具广泛应用于个性化商品定制、艺术创作、游戏设计、广告营销等多个领域,为视觉内容创作提供了强大的技术支持。

Xinva

Xinva是一款利用人工智能技术快速生成专业设计作品的工具,主要面向需要高效制作T恤、贴纸、图案等设计的用户。它提供了智能模板库、自动布局优化、色彩协调、字体匹配、图像增强等强大功能,并支持多人实时协作和多种文件格式导出。Xinva凭借其简洁的界面和高效的AI辅助功能,成为设计师和创意工作者的得力助手。

CSM

CSM是一款基于人工智能的3D建模平台,能够将2D图像、文本描述或手绘草图快速转换为高质量的3D模型。其主要功能包括图像到三维、文本到三维、草图到三维以及实时建模等,并支持动画和纹理编辑。CSM适用于游戏开发、影视制作、产品设计及建筑设计等多个行业,助力创意工作者高效完成从概念到原型的创作流程。

救救图片

该AI图片处理工具提供去水印、抠图、去马赛克、无损放大、图片修复及生成相似图等功能,基于先进算法实现高效精准的图像编辑。支持多种格式下载,操作简便,适用于设计师、电商卖家及内容创作者,广泛应用于素材优化、商品展示和内容制作等领域。

AiPathly

AiPathly是一款面向希望进入AI领域的专业人士的综合性平台,提供个性化技能评估、定制学习路径、职业匹配报告及实时行业洞察等功能。用户可通过模拟项目积累实践经验,并借助简历和作品集优化服务提升求职竞争力。无论是职业转型者、技能提升者还是学生群体,均可借助AiPathly实现高效成长与成功转型。

BFS

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

狸谱

狸谱是一款集AI图像处理与互动创作于一体的多功能工具,提供“灵魂提取器”功能用于生成物体相关人设形象,同时拥有AI壁纸漫画创作、跑团剧情互动及自定义画风等功能。狸谱凭借其多模态大模型技术和丰富的应用场景,满足用户在娱乐、创意、教育等多个领域的多样化需求。

TruMate

TruMate是一款基于AI技术的社交应用,允许用户通过与定制化虚拟角色的文字互动获得情感陪伴和娱乐体验。平台提供丰富的角色筛选选项、沉浸式社交环境以及IP联动功能,支持用户创建个性化虚拟形象,适用于情感支持、社交练习、语言学习等多个场景。

Liquid

Liquid是由华中科技大学、字节跳动和香港大学联合开发的多模态生成框架,通过VQGAN将图像编码为离散视觉token并与文本共享词汇空间,使大型语言模型无需修改结构即可处理视觉任务。该框架降低训练成本,提升视觉生成与理解性能,并在多模态任务中表现出色。支持图像生成、视觉问答、多模态融合等应用,适用于创意设计、内容创作及智能交互等领域。

OmniManip

OmniManip是由北京大学与智元机器人联合实验室开发的通用机器人操作框架,结合视觉语言模型与三维操作技术,实现机器人在非结构化环境中的任务执行。其核心为以对象为中心的交互基元表示法,支持零样本泛化、跨平台部署及大规模仿真数据生成。通过双闭环系统设计与任务分解机制,提升操作精度与适应性,适用于日常操作、工业自动化及服务机器人等场景。