搜索 - 智狐AI导航

Easyicon

一个提供图标搜索和下载的图标网站，Easyicon拥有超过六十万个图标资源，支持SVG、PNG、ICO、ICNS等多种格式。

logo图标 2025年06月05日 82 点赞 0 评论 320 浏览

OpusSearch

OpusSearch 是一款由 OpusClip 推出的 AI 视频搜索工具，支持用户按主题、演讲者或对象快速检索视频内容并实现再利用。该工具帮助创作者构建主题频道，响应热点趋势，并将旧视频转化为新内容。同时支持跨平台分发和自动化剪辑，提升内容运营效率，适用于内容创作、教学资源管理、品牌推广等多个场景。

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

SPAR

SPAR是一种自我博弈框架，专为增强大型语言模型的指令遵循能力设计。它通过生成者和完善者的角色互动，利用树搜索技术和迭代优化，提升模型的自我完善能力。实验显示，SPAR在多个基准测试中表现出色，适用于智能助手、客户服务、教育技术及医疗咨询等多个应用场景。

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

BFS

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

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