模型

1. 首页
2. 模型

BFS

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

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

Granite 3.1

Granite 3.1是IBM推出的一款先进语言模型，具备强大的上下文处理能力和多语言支持功能。其核心特性包括扩展至128K tokens的上下文窗口、全新嵌入模型以及功能调用幻觉检测能力。该模型适用于客户服务自动化、内容创作、企业搜索、语言翻译及合规性检查等多种应用场景。

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

百付AI

AI软件技术服务商，ChatGPT应用开发，训练AI模型、AI软件开发、AI知识库搭建。

AI服务商 2025年06月05日 10 点赞 0 评论 271 浏览

Fin

Fin-R1是由上海财经大学与财跃星辰联合开发的金融领域推理大模型，基于Qwen2.5-7B-Instruct架构，通过两阶段训练提升金融推理能力。其支持金融数据推理、代码生成、风险控制、ESG分析等多种功能，具备多语言支持与轻量化设计，适用于智能风控、投资辅助、量化交易等场景。模型在权威评测中表现优异，具有较高的实用价值。

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

PromptFix

PromptFix是一款基于扩散模型的开源AI图像修复工具，支持多种图像处理任务，如上色、物体移除、去雾、去模糊等。它通过20步去噪过程精确修复图像缺陷，同时保持图像结构完整性和泛化能力。PromptFix具备高频细节保护、辅助提示适配器、零样本学习能力和大规模数据集构建等特点，适用于个人照片编辑、专业摄影、数字艺术创作、媒体广告及电影制作等多个领域。

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

文心大模型

文心大模型是一种知识增强的自然语言处理（NLP）模型，由百度开发。它在技术开放日上首次亮相，展示了其在AI领域的最新技术突破和产业应用实践。

Ai平台模型 1970年01月01日 0 点赞 0 评论 271 浏览

MedReason

MedReason是由多所高校联合开发的医学推理框架，通过知识图谱增强大型语言模型在医学领域的推理能力。其核心功能包括生成高质量推理数据、提升模型性能、确保医学准确性，并支持多种医学任务。MedReason采用医学实体提取、路径搜索、链式推理生成和质量过滤等技术，有效提升模型在复杂临床场景中的表现。项目提供开源代码、模型和论文，适用于医学问答、辅助诊断、教育培训及研究等领域。

AI项目与工具 2025年06月11日 21 点赞 0 评论 271 浏览

Logo Mockup

Logo Mockup是一个在线样机生成工具，用户通过上传他们的logo生成高分辨率的样机效果图并可以下载。

图片处理 2025年06月05日 55 点赞 0 评论 270 浏览

53AI

一个开箱即用的企业大模型应用平台，只要帮助企业快速部署和利用大型语言模型（LLMs），提供企业大模型落地应用、业务智能化改造、私有模型定制和大模型咨询服务。

AI服务商 2025年06月05日 17 点赞 0 评论 270 浏览

CustomVideoX

CustomVideoX是一种基于视频扩散变换器的个性化视频生成框架，能够根据参考图像和文本描述生成高质量视频。其核心技术包括3D参考注意力机制、时间感知注意力偏差（TAB）和实体区域感知增强（ERAE），有效提升视频的时间连贯性和语义一致性。支持多种应用场景，如艺术设计、广告营销、影视制作等，具备高效、精准和可扩展的特点。

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