搜索 - 智狐AI导航

古籍馆

古籍资源共享平台

剧本文案 2025年06月05日 50 点赞 0 评论 366 浏览

Research Rabbit

Research Rabbit是一款基于人工智能技术的科研文献管理工具，主要功能包括文献检索、集合创建、网络关系分析、时间轴展示、智能摘要和阅读、云端存储和管理以及协作和共享。该工具支持多种搜索选项，能够帮助用户发现和理解文献之间的联系，适用于个人和团队研究，涵盖多个学科领域。

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

灵办Ai

一款能解决翻译、对话、写作、阅读、信息获取、笔记、画图等需求的工具。

AI写作对话 2025年06月05日 44 点赞 0 评论 363 浏览

SPAR

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

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

LeetTools

LeetTools是一款人工智能驱动的文档处理工具，支持知识库构建、文章生成和智能搜索等功能。用户可通过关键词快速生成分析报告、新闻聚合等内容，并自定义格式与结构。具备高度可定制性，支持多源数据整合与本地系统集成，适用于市场调研、内容创作及知识管理等场景。

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

BFS

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

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

MMSearch

MMSearch 是一款用于评估大型多模态模型（LMMs）搜索能力的基准测试工具，包含 MMSearch-Engine 框架和 MMSearch 测试集。其核心功能包括问题重构、网页排序和答案总结，通过多模态搜索能力评估提升 LMMs 的性能。实验结果显示 GPT-4o 在该测试中表现优异，且增加计算量比扩大模型规模更具优势。

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