大语言模型

RoboBrain

RoboBrain是由智源研究院开发的开源具身大脑模型，支持任务规划、可操作区域感知和轨迹预测等功能。其基于LLaVA框架，采用多阶段训练策略，具备高分辨率图像处理和长历史帧记忆能力。适用于多机器人协作、复杂任务执行及实时优化场景，依托ShareRobot数据集提升模型性能，广泛应用于机器人操作领域。

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

博看大模型

博看大模型是吉林外国语大学推出的一款多功能图书馆服务AI，它通过智能对话和信息检索功能，为用户提供了一个方便快捷的图书馆信息获取渠道。

创作工具 1970年01月01日 0 点赞 0 评论 326 浏览

驯鹿AI

专注于跨境电商市场的智能客服工具，驯鹿AI依托通用大语言模型技术，提供智能客服和销售机器人服务，支持多语言实时翻译和全球客户管理。

Ai办公效率 2025年06月05日 69 点赞 0 评论 318 浏览

好伴AI

好伴AI是一款基于全科医学大语言模型的智能健康助手，支持24小时在线健康咨询与报告解读，可分析化验单、体检报告并提供个性化建议。具备数字专家分身、健康档案管理、健康预警等功能，支持中英文双语，适用于多种健康场景，帮助用户更好地管理自身健康。

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

文心大模型

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

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

BFS

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

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