搜索

Websets

Websets是什么?Websets是Exa公司推出的一种新型搜索引擎,它利用大型语言模型(LLM)技术,将互联网上的信息变得更加有序和可查询。Websets的

腾讯混元T1

T1(Thinker)是腾讯混元推出的深度思考模型,支持逻辑推理与联网搜索,具备高速响应和长文本处理能力。采用Hybrid-Mamba-Transformer架构,提升推理效率与准确性。适用于教育、医疗、市场分析等多个领域,输出简洁、幻觉低,适合复杂指令处理和多任务场景。

CODE GIST

一个代码片段管理工具,CODE GIST可以帮助您存储、组织和分享代码片段,高效地管理和检索常用代码片段,提高开发效率。

Jina AI

一家一家专注于神经搜索技术的商业开源软件公司,Jina AI致力于通过深度学习技术简化非结构化数据的搜索,提供高效、准确的搜索解决方案。

Bilin AI

一款由沉浸式翻译团队开发的跨语言AI搜索引擎,这个Bilin AI搜索引擎能让你用中文找德语资料,看英文结果。

Research Rabbit

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

Easyicon

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

卡奥斯智能交互引擎

一款基于工业大模型技术开发的的工业知识智能搜索和解决方案精准生成平台,融合了智能检索、智能应用和多模态连续交互等多种功能。

BFS

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