Ternary Logic 相关的热门 GitHub AI项目仓库

Open-source Visual programming for backend logic that integrates with existing codebases. Flyde bridges the gap between technical and non-technical team members. Product managers, designers, and backend developers can collaborate on the same visual flows.

Tego is a pluggable application framework., where developers can build complex application logic, while core developers focus on ensuring the stability of key modules and adapting to different environments.

开放认知（超）图数据库和图重写系统

神经符号人工智能与知识图谱 | 通过数据和逻辑实现“真正的推理”

Tiny Model, Big Logic: Diversity-Driven Optimization Elicits Large-Model Reasoning Ability in VibeThinker-1.5B

用于研究的开放式NARS系统（3.0及以上版本）

一份关于人工通用智能（AGI）的精彩且精心整理的列表。人工通用智能是一个新兴的交叉学科领域，它融合了人工智能和计算认知科学。

从数据和知识中学习深度学习和逻辑推理

PyNeuraLogic 允许你使用 Python 创建可微分的逻辑程序

神经逻辑机器（NLM）的实现

大型语言模型时代神经符号学习的最新进展

论文《思想图谱》(https://arxiv.org/abs/2409.10038) 的官方实现代码

WebPlugins is a modular and pluggable application framework based on ASP.NET Core and VUE. By completely decoupling core logic from functional components, it enables secondary development.

PyTorch可解释性：Python中的可解释深度学习

实现了Tsetlin机、卷积Tsetlin机、回归Tsetlin机、加权Tsetlin机和嵌入式Tsetlin机，支持连续特征、多分辨率、子句索引和文字预算。

OpenABC-D是一个大规模的带标签数据集，通过合成开源硬件IP生成。该数据集可用于芯片设计中各种图级别预测问题。

神经逻辑与因果推理的奇妙结合：马尔可夫逻辑网络（MLN）、神经关系推理学习（NLRL）、神经逻辑机器（NLM）等技术，代表着强人工智能逻辑推理领域的最新进展。

结构和功能连接组集成学习的可重复工作流程

基于Tableau方法的自然逻辑与语言定理证明器

基于Trask等人发表的《神经算术逻辑单元》论文，使用PyTorch框架实现的NAC/NALU基本模型。