deep-seek

大规模LLM驱动互联网检索引擎的实验性架构

DeepSeek 互联网检索引擎研究代理安装 Github 开源项目

该项目引入了一种基于LLM的大规模互联网检索引擎的实验性架构，与传统的答案引擎不同，它旨在处理大量来源，收集综合实体列表。项目展示了检索代理通过计划、搜索、提取和丰富等步骤生成包含信任评分的详细表格。该架构的亮点在于其高效的令牌使用和广泛的数据处理能力，适用于需要深入检索和详细信息的场景。用户可以访问示例结果，深入了解其架构特点和潜在改进空间。

访问官网

Github

介绍相关项目

SemanticFinder - 浏览器端实时语义搜索与文档对话工具

GithubSemanticFindertransformers.js前端开发嵌入模型开源项目语义搜索

SemanticFinder是一款基于transformers.js的浏览器端语义搜索和文档对话工具。它利用最新的嵌入模型,在浏览器中完成嵌入计算和余弦相似度计算,无需服务器端推理。用户可在2秒内快速搜索大型文本,如圣经或《悲惨世界》。该工具支持多语言,可自定义参数,并提供Chrome扩展程序版本。SemanticFinder将所有处理在本地完成,保护用户数据隐私,是一个高效灵活的语义搜索解决方案。

DeepSeek-Coder-V2-Lite-Instruct-GGUF - 完整的DeepSeek代码助手模型量化版集合

DeepSeek-CoderGithubHuggingfaceLlamaEdge代码开发开源项目模型模型量化深度学习

这是一个专为代码编写优化的DeepSeek量化模型系列，提供从2位到16位的多种精度选项，支持通过LlamaEdge和WasmEdge进行部署。模型拥有12.8万token的上下文长度，文件大小从6.43GB到31.4GB不等。Q4_K_M和Q5_K_M版本在性能和资源占用上达到最佳平衡，适合大多数应用场景。

trieve - 用于构建混合向量搜索、推荐和 RAG 的一体化基础设施

GithubRAG APITrieve开源项目推荐系统搜索引擎自托管

Trieve 提供自托管解决方案，支持语义密集向量搜索、拼写容错搜索、子句高亮显示、推荐、RAG API 路由等功能。用户可自定义模型并优化混合搜索，Trieve 还支持流行度排名、重复检测等，适用于本地或公司VPC的高效搜索基础设施搭建。

DeepSeek-Prover-V1.5-RL - 集成强化学习与蒙特卡洛树搜索的数学定理证明系统

DeepSeek-ProverGithubHuggingface人工智能模型定理证明开源项目机器学习模型

DeepSeek-Prover-V1.5是基于Lean 4开发的定理证明开源语言模型，结合了证明助手反馈的强化学习技术和改进型蒙特卡洛树搜索算法。在miniF2F和ProofNet等标准测试中分别达到63.5%和25.3%的准确率，验证了其在数学定理证明领域的实用价值。

deepseek-math-7b-rl - 深度推理助力复杂数学问题的解决

DeepSeekGithubHuggingface使用方法开源项目模型深度学习许可证

DeepSeekMath-Instruct和DeepSeekMath-RL模型以创新方式解答数学问题，采用逐步推理法得出答案。模型支持多语言输入，适用于商业用途，利用深度学习技术提升用户体验。探索这些工具如何助力高效的数学计算与分析。

LLM4IR-Survey - 大语言模型在信息检索领域的应用研究综述

GithubLLM信息检索开源项目查询重写检索器重排序

LLM4IR-Survey项目汇集了大语言模型在信息检索领域应用的相关研究论文。项目涵盖查询重写、检索、重排序、阅读理解和搜索代理等方向，全面展示大语言模型在信息检索各环节的应用。该资源持续更新，反映最新研究进展和创新应用，为该领域的研究人员和从业者提供重要参考。

Glean - Glean整合企业数据的智能搜索和AI助手平台

AI工具Glean人工智能企业搜索生成式AI知识图谱

Glean是一款企业级AI助手平台，运用先进的搜索和检索增强生成(RAG)技术，基于企业内部数据提供智能解答。平台通过知识图谱整合企业数据，生成个性化答案，并确保信息时效性。Glean支持无代码AI代理和聊天机器人创建，提供API接口用于自定义AI应用开发。拥有100多个连接器实现快速部署，支持多种大语言模型，同时注重数据安全和隐私保护，助力企业提升决策效率。

deepseek-coder-6.7b-instruct - 多语言代码生成与补全的开源AI模型

DeepSeek CoderGithubHuggingface人工智能代码模型开源项目机器学习模型自然语言处理

deepseek-coder-6.7b-instruct是一个基于2T代码和自然语言数据训练的开源AI代码模型。该模型支持多种编程语言，提供1.3B至33B不同规模版本，在HumanEval等多个基准测试中表现优异。它具有16K窗口大小和填空任务能力，支持项目级代码补全和插入。这个模型适用于各种代码生成和补全任务，为开发者提供了强大的编程辅助工具。

swirl-search - AI搜索与分析平台

GithubSWIRL AI Connect人工智能增强决策开源项目数据安全私有云

SWIRL AI Connect是一款集成了增强型检索增强生成（RAG）和强大分析工具的先进AI基础设施软件。通过本地化部署在私有云中，确保数据安全和合规，加速企业AI转型并提升整体效率。该平台适配大型企业至中小团队，提供安全的跨云服务、本地系统和数据平台的高效搜索功能。

farfalle - 开源AI搜索引擎，支持本地和云端模型运行

AI搜索引擎DockerFarfalleGithubLiteLLMSearXNG开源项目

Farfalle是一个开源的AI搜索引擎，支持运行本地模型（如llama3、gemma、mistral、phi3）和通过LiteLLM使用自定义模型，还可使用云端模型（如Groq/Llama3、OpenAI/gpt4-o）。该项目集成了多个搜索提供商（如Tavily、Searxng、Serper、Bing），并具备专家搜索和聊天历史功能。用户可通过Docker进行本地部署，也可使用Vercel进行前端部署。项目详细信息和使用指南可在GitHub页面找到。

相关项目

项目侧边栏1

项目侧边栏2

推荐项目

Project Cover

豆包MarsCode

豆包 MarsCode 是一款革命性的编程助手，通过AI技术提供代码补全、单测生成、代码解释和智能问答等功能，支持100+编程语言，与主流编辑器无缝集成，显著提升开发效率和代码质量。

Project Cover

AI写歌

Suno AI是一个革命性的AI音乐创作平台，能在短短30秒内帮助用户创作出一首完整的歌曲。无论是寻找创作灵感还是需要快速制作音乐，Suno AI都是音乐爱好者和专业人士的理想选择。

Project Cover

有言AI

有言平台提供一站式AIGC视频创作解决方案，通过智能技术简化视频制作流程。无论是企业宣传还是个人分享，有言都能帮助用户快速、轻松地制作出专业级别的视频内容。

Project Cover

Kimi

Kimi AI助手提供多语言对话支持，能够阅读和理解用户上传的文件内容，解析网页信息，并结合搜索结果为用户提供详尽的答案。无论是日常咨询还是专业问题，Kimi都能以友好、专业的方式提供帮助。

Project Cover

阿里绘蛙

绘蛙是阿里巴巴集团推出的革命性AI电商营销平台。利用尖端人工智能技术，为商家提供一键生成商品图和营销文案的服务，显著提升内容创作效率和营销效果。适用于淘宝、天猫等电商平台，让商品第一时间被种草。

Project Cover

吐司

探索Tensor.Art平台的独特AI模型，免费访问各种图像生成与AI训练工具，从Stable Diffusion等基础模型开始，轻松实现创新图像生成。体验前沿的AI技术，推动个人和企业的创新发展。

Project Cover

SubCat字幕猫

SubCat字幕猫APP是一款创新的视频播放器，它将改变您观看视频的方式！SubCat结合了先进的人工智能技术，为您提供即时视频字幕翻译，无论是本地视频还是网络流媒体，让您轻松享受各种语言的内容。

Project Cover

美间AI

美间AI创意设计平台，利用前沿AI技术，为设计师和营销人员提供一站式设计解决方案。从智能海报到3D效果图，再到文案生成，美间让创意设计更简单、更高效。

Project Cover

稿定AI

稿定设计是一个多功能的在线设计和创意平台，提供广泛的设计工具和资源，以满足不同用户的需求。从专业的图形设计师到普通用户，无论是进行图片处理、智能抠图、H5页面制作还是视频剪辑，稿定设计都能提供简单、高效的解决方案。该平台以其用户友好的界面和强大的功能集合，帮助用户轻松实现创意设计。

使用协议隐私政策广告服务

投诉举报邮箱: service@vectorlightyear.com

@2024 懂AI·鲁ICP备2024100362号-6·鲁公网安备37021002001498号