Framework and Language for Neurosymbolic Programming. Join Our Discord: https://discord.gg/RavzdND229

An explainable inference software supporting annotated, real valued, graph based and temporal logic

The Programmable Neuro-Symbolic AGI that lets you program its behavior using Graph-based Prompt Programming: for people who want AI to behave as expected

A curated paper list on neural symbolic and probabilistic logic.

Mechanistically interpretable neurosymbolic AI (Nature Comput Sci 2024): losslessly compressing NNs to computer code and discovering new algorithms which generalize out-of-distribution and outperform human-designed algorithms

PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)

mOWL: Machine Learning library with Ontologies

Experimental Python implementation of the Clarion cognitive architecture

Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming

Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts

TinyNS: Platform-Aware Neurosymbolic Auto Tiny Machine Learning

📜 [Under Review] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search", Wenqing Zheng*, S P Sharan*, Zhiwen Fan, Kevin Wang, Yihan Xi, Atlas Wang

A Scalable Approximate Method for Probabilistic Neurosymbolic Inference

Code for the ICLR 2024 paper "How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data"

A neurosymbolic parser for Dutch.

Python client for ZeroLink

Integrating Symbolic Programming and Neuromorphic Modeling with NVIDIA Jetson and GPU-based DNN/ML Systems for Edge Labs

The infrastructure behind the Scallop website.

PyTorch Lightning based TP-N2F model.

Source code for the neuro-fuzzy network of the paper: "Logic Rules Meet Deep Learning: A Novel Approach for Ship Type Classification"