优化 - 智狐AI导航

PhotoStudio AI

PhotoStudio AI是虹软倾力打造的一款基于生成式人工智能技术的创新产品，旨在为商家提供卓越的商拍图生成与优化服务。

电商运营 2025年06月05日 57 点赞 0 评论 686 浏览

Paper2Poster是由加拿大滑铁卢大学、新加坡国立大学等机构推出的学术框架，基于多模态自动化技术从科学论文生成海报。它通过Parser、Planner和Painter–Commenter系统实现内容压缩、布局优化和视觉质量提升，支持将长篇论文转化为结构化视觉海报。Paper2Poster引入PaperQuiz评估方法，确保海报有效传达核心内容，提高生成效率，适用于学术会议、报告、科研展示及教

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

BFS

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

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

MealSnap

MealSnap是一款基于AI技术开发的饮食追踪应用程序，用户通过拍摄食物照片即可获取详细的营养信息，包括卡路里、蛋白质、脂肪和碳水化合物等。它具备强大的食物识别能力、个性化饮食建议和健康报告生成功能，帮助用户实现科学饮食管理。此外，MealSnap支持多语言操作，适用范围广泛，特别适合减肥、健身及需特殊饮食管理的人群。

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