登录
JeecgBoot 是一款基于 Spring Boot + Vue 技术栈的开源企业级快速开发平台,旨在通过「低代码+代码生成」模式降低企业级应用的开发成本,提升开发效率。其核心定位是“开箱即用的中后台解决方案”,覆盖权限管理、表单报表、工作流、代码生成等核心业务场景,广泛应用于企业OA、CRM、ERP、政务系统等中后台领域。
0
0
0
NocoBase 是由中国团队自主研发的开源无代码/低代码开发平台,专注于为开发者提供可完全掌控的数字化基础设施。项目始于2018年技术预研,2021年3月正式开源,2024年5月发布首个稳定版本 1.0-alpha,并同步启动商业化进程。其设计理念为 80% 无代码实现 + 20% 扩展开发,通过微内核架构和插件化设计,在快速搭建业务系统的同时保留深度定制能力,尤其适合企业数字化转型和复杂场景开发。
561
1
10
Uniswap Labs 是去中心化金融(DeFi)领域的核心技术公司,由工程师 Hayden Adams 于 2018 年创立,总部位于纽约市。其核心产品 Uniswap 协议 是以太坊上首个基于自动做市商(AMM)机制的去中心化交易所(DEX),彻底改变了加密资产的交易方式。截至 2025 年,Uniswap 协议累计交易量已超过 2.75 万亿美元,支持跨 12 条区块链网络的资产交易,覆盖数千万用户。
786
3
6
Agoric通过对象能力模型提升安全性,被用于去中心化金融(DeFi)衍生品开发。通过简化开发流程和增强安全性,推动去中心化应用(DApps)的大规模落地。Agoric成立于2018年,由斯坦福大学校友Mark Miller(首席科学家)和Dean Tribble(CEO)联合创立,核心团队包括早期密码朋克和分布式系统专家。作为Cosmos生态的Layer1 PoS公链,Agoric通过JavaScript语言、跨链互操作性和模块化设计,为开发者提供了安全、高效的Web3开发环境。其愿景是构建一个多链经济的协调层,支持跨链资产交互和复杂金融逻辑的自动化执行。
945
5
0
Ocean Protocol 是一个基于区块链的去中心化数据交换协议,旨在通过安全、透明的方式连接数据提供者与消费者,实现数据资产的自由流通与价值释放。其核心目标是构建一个无需中心化中介的「数据经济」,让数据所有者能够直接控制并货币化自己的数据,同时为开发者和企业提供开放的 AI 训练、研究及分析资源。
802
0
13
生成式 BI 工具支持自然语言查询数据库,自动生成 SQL 与可视化图表,被金融分析师和数据科学家广泛采用。WrenAI是由Canner团队开发的开源生成式BI(GenBI)智能体,致力于通过自然语言交互实现数据库查询、可视化生成和洞察报告的全流程自动化。其核心设计理念是语义层驱动的精准查询,通过预定义数据模型、业务指标和表关系,构建LLM可理解的“数据库说明书”,解决传统Text-to-SQL工具因缺乏上下文导致的高错误率问题。
850
0
7
不确定性知识图谱推理库(unKR)是首个专注于处理不确定性知识图谱(UKG)的开源工具,通过表示学习技术实现高效推理。支持四元组(h,r,t,s)的置信度预测。 项目地址:https://github.com/seucoin/unKR一、技术原理unKR的核心在于将实体与关系嵌入至低维向量空间,同时保留不确定性信息。
777
4
4
Qwen3是阿里巴巴达摩院于2025年4月29日发布的新一代开源大语言模型,属于通义千问系列的最新成员。其核心突破在于首创混合推理架构,将人类认知科学中的“快思考”与“慢思考”机制融入模型设计,实现了复杂任务处理与高效响应的平衡。一、技术架构1.双系统推理模式
639
8
12
OWL 推理机(OWL Reasoner)是一类基于 OWL(Web Ontology Language,Web 本体语言)进行逻辑推理的工具,核心功能是从 OWL 本体定义的“显式知识”中推导出“隐含知识”,并验证本体的逻辑一致性。 一、基本概念从技术本质看,OWL 语言基于描述逻辑(Description Logic,DL)——一种用于精确表示概念、关系和约束的逻辑系统,而 OWL 推理机本质是“描述逻辑推理器”的工程实现。其核心任务包括:
873
3
0
AReaL(Ant Reasoning RL)是由蚂蚁技术研究院与清华大学交叉信息研究院联合开发的开源强化学习框架,专注于提升大型推理模型(LRM)的复杂逻辑推理能力。通过完全开放的技术生态,让开发者以极低门槛复现、优化甚至超越当前SOTA模型,尤其在数学推理等长链逻辑任务中展现出显著优势。
746
9
6
VLM-R1是由浙江大学滨江研究院Om AI Lab开源的多模态视觉推理模型,聚焦复杂场景理解与自主推理路径构建,通过强化学习与视觉语言模型的深度融合,在多模态任务中展现出突破性能力。项目地址:https://github.com/om-ai-lab/VLM-R1一、技术架构VLM-R1采用视觉-语言-强化学习三层异构融合架构,实现多模态信息的深度交互与推理路径的自主生成:
1051
7
2
在语义网与知识图谱体系中,本体(Ontology) 是形式化表示领域知识的核心载体,它通过定义“概念(类)、角色(属性)、个体”及三者间的逻辑关系,实现知识的结构化与语义化。但本体仅能存储“显式知识”,若要挖掘隐含知识(如“本科生是学生”的从属关系)、验证知识一致性(如“无脊椎动物有脊椎”的矛盾检测),则需依赖本体推理机。
750
8
14
Neural-Symbolic-Machines核心目标是解决弱监督场景下的语义解析与程序合成问题,由Liang等人开发,相关成果发表于NeurIPS 2018和ACL 2017等顶会,目前遵循Apache-2.0开源协议。融合神经网络与符号计算,支持程序合成与语义解析。 项目地址:https://github.com/crazydonkey200/Neural-Symbolic-Machines
1150
9
12
OpenCog 是面向通用人工智能(AGI)的开源认知架构框架,核心目标是构建具备人类级通用智能的系统——即能够像人类一样跨领域学习、推理、自适应环境,并自主解决复杂未知问题,而非局限于单一任务(如图像识别、自然语言处理)。它源于2008年,由人工智能研究者 Ben Goertzel 主导发起,最初依托于 Hanson Robotics(开发“索菲亚机器人”的团队)等机构,目前由全球开源社区维护,核心理念是“通过模拟人类认知的多模块协同,实现智能的涌现”。
818
8
14
PIKE-RAG是微软开源的企业级RAG系统,支持任务分解(事实性→创造性)与混合检索。面向中大型企业的私有化/半私有化RAG系统,区别于通用RAG(如基于公开数据的问答工具),它以“企业内部知识资产激活”为核心,通过“检索增强+业务规则注入”,将企业分散的文档、数据库、API等知识转化为可直接支撑业务决策、客户服务、内部协同的智能能力。所有数据处理环节遵循企业级安全规范(如数据本地化存储、细粒度权限控制、操作审计日志),符合GDPR、等保2.0等合规要求。适配企业“结构化+非结构化+多模态”全类型数据,打破OA、CRM、ERP、文档库等系统的数据孤岛不追求“通用问答能力”,而是深度绑定企业具体业务场景(如金融合规、制造维修、研发协同),支持业务规则自定义注入。具备知识自动更新(如监控文档库变化同步更新索引)、检索策略动态调优(基于用户反馈优化排序)的能力。
1148
5
12
CogQA是清华大学团队提出的多跳问答框架,其核心设计灵感源自认知科学中的双过程理论(Dual Process Theory),旨在模拟人类大脑解决复杂问题时的“直觉检索”与“逻辑推理”协同机制。基于认知科学的双过程理论,结合隐式提取模块(系统1)和显式推理模块(系统2)构建认知图。通过迭代扩展图结构,逐步整合多跳信息,提供可解释的推理路径。
1089
0
10
FiD(Fusion-in-Decoder)是Facebook AI Research(FAIR)提出的检索-生成一体化知识密集型问答模型,通过动态融合外部知识库与生成式语言模型,实现高效准确的多跳推理。其核心设计突破传统检索-阅读流水线的局限性,在解码器阶段直接整合多段落信息,尤其适用于开放域问答(OpenQA)和复杂事实推理任务。FiD(Fusion-in-Decoder)结合召回和生成的KBQA模型,利用外部知识库增强问答。通过检索相关文本并与问题拼接,解码器融合多源信息生成答案。
1034
1
10
KnowFormer通过自注意力机制直接建模实体间的结构关联。设计结构感知的注意力模块,动态评估实体间连接合理性,解决路径缺失和信息稀释问题。 KnowFormer是由中关村实验室、北京航空航天大学和南洋理工大学联合研发的前沿模型,其核心目标是解决知识图谱(KG)的不完整性问题,通过Transformer架构实现高效的结构化知识推理。KnowFormer的核心算法发表于ICML 2024(论文链接:[https://一、技术原理与架构设计
814
9
8
垂直领域知识预训练模型KANGAROO由阿里云人工智能平台PAI与华东师范大学合作研发,在EMNLP 2023会议上正式发布。该模型针对垂直领域知识图谱的全局稀疏、局部稠密特性,提出了双曲空间嵌入与对比学习相结合的创新框架,有效提升了领域内语义理解和知识推理能力。项目地址:https://github.com/alibaba/EasyNLP
556
6
1
RoG(Reasoning on Graphs)提出“规划-检索-推理”框架,利用知识图谱的关系路径生成忠实的推理计划。LLM通过关系路径生成查询,结合图谱结构指导推理过程,解决LLM的幻觉问题。 RoG是由研究者Linhao Luo、Yuan-Fang Li、Gholamreza Haffari和Shirui Pan等人联合开发的创新推理框架,其研究论文《Reasoning on Graphs: Faithful and Interpretable Large Language Model Reasoning》已被ICLR 2024接收。
777
4
3
© 2021 - 现在 杭州极深数据有限公司 版权所有 联系我们 
浙公网安备 33018302001059号  浙ICP备18026513号-1号