AI工具

1. 首页
2. AI工具

BFS

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

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

天才助理AI

天才助理AI是一款面向专业领域的 AI 创意工具，它结合了超级问答和创意绘画两款强大的功能，让你可以用 AI 聊天、AI 绘画来快速激发你的灵感。它还接入了最新的 midjourney V5 版本，可以生成更多样的风格和效果。

Ai绘画生成 2025年06月05日 46 点赞 0 评论 410 浏览

Leffa

Leffa是一种基于注意力机制的可控人物图像生成框架，通过流场学习精确控制人物的外观和姿势。其核心技术包括正则化损失函数、空间一致性及模型无关性，能够在保持细节的同时提升图像质量。Leffa广泛应用于虚拟试穿、增强现实、游戏开发及影视后期制作等领域，展现出卓越的性能与灵活性。

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

Phygital+

Phygital+ 是一个基于AI提供了多种功能和工具整合的平台，允许用户使用AI并创建、转换和增强图像、视频和 3D 模型。

Ai绘画生成 2025年06月05日 13 点赞 0 评论 410 浏览

清言浏览器插件

清言浏览器插件是一款集成智能Agent技术的浏览器扩展工具，提供通用对话、页面总结、智能写作等功能，同时具备AutoGLM、站内高级检索、多链接总结等高级特性。它适用于学术研究、工作办公、日常浏览等多个场景，帮助用户高效获取信息、优化工作流程。

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

RenderNet AI

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

Ai视频生成 2025年06月05日 53 点赞 0 评论 411 浏览

Gendo

Gendo是一款结合生成式AI技术的建筑可视化平台，通过生成对抗网络（GANs）和扩散模型等手段，帮助设计师快速创建逼真的建筑概念图，并支持从草图到最终图像的全周期操作，具备生成性编辑、风格迁移和文本到图像生成等功能，旨在提升设计效率与视觉沟通质量。

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

CloneUI

一款强大的AI驱动的图片转代码工具，能够将截图、网址或 Figma 设计一键转换为 React、Vue 或 HTML/CSS 代码。

Ai编程建站 2025年06月05日 63 点赞 0 评论 412 浏览

ChatExcel Pro

ChatExcel Pro是一款基于AI技术的表格处理与数据分析工具，支持多种文件格式的导入与多表上传，具备强大的Excel函数操作能力及多表分析功能。用户可通过自然语言指令实现复杂数据处理，支持一键生成分析报告和表格下载，适用于多种应用场景，如财务会计、市场营销、人力资源管理和库存管理等。

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

DisPose

DisPose是一项由多家顶尖高校联合研发的技术，专注于优化人物图像动画的质量。它通过运动场引导和关键点对应的方式，结合混合ControlNet模块，实现了对骨骼姿态的有效控制，无需额外密集输入即可生成高质量、一致性的动画视频。DisPose广泛适用于艺术创作、社交媒体、数字人制作及虚拟现实等领域。

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