搜索

SPAR

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

AdCreative.ai

AdCreative.ai是一款基于人工智能技术的广告创意生成工具,能够自动生产高质量的广告文案、图片、视频等内容,支持多平台投放,包括Facebook、Google、LinkedIn等。其主要功能涵盖广告创意生成、品牌资料管理、竞争对手广告分析及批量素材制作,旨在帮助企业优化广告策略并提升广告表现。

MMSearch

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

360AI搜索

360AI搜索是一款集成人工智能技术的搜索引擎,专注于为用户提供更精准、全面且智能的搜索体验。它具备AI搜索、增强模式、智能排序和内容生成等功能,通过深度分析用户问题,从海量信息中提取最相关的内容,并生成逻辑清晰、有理有据的答案。

Accio

Accio是一款基于AI技术的B2B对话式搜索引擎,通过多语言支持和智能筛选功能,为用户提供精准的供应商和商品推荐。它具备对话式搜索、实时数据分析、多语言兼容等特性,广泛应用于跨境采购、市场调研、价格比较及供应链管理等领域,帮助企业优化采购流程并提升运营效率。

Decktopus | PPT生成工具

Decktopus是一种全新的在线演示工具,让您在最短的时间内打造完美的演示,让您能够专注于演讲的内容,而不必费时费力地操心设计。

Mem.Ai

一个利用人工智能来组织团队工作的高效平台,用于高效存储和搜索会议记录和议程,协作项目管理,以及建立和维护知识库。

BFS

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

发现报告

国内最权威的行业研究报告数据平台之一,发现报告收录了海量的行业报告、公司研究报告和券商研报,用户可以免费阅读和下载这些报告。平台提供智能分类搜索和全文关键词匹配功能,支持PDF和Word格式下载。

Ai2 Paper Finder

一款由艾伦AI研究所发布的基于LLM的文献搜索系统,Ai2 Paper Finder采用迭代式搜索方式,能模仿人类查找文献的过程,帮助用户发现小众、难找的论文。