A neurosymbolic perspective on LLMs

Logic Language for LLMs 🌱🐋🌍 Build Neuro-Symbolic AI for learning and reasoning

Deterministic verification layer for LLMs | AI hallucination detection | Model output validation | Formal verification for AI | Python 🐍

Domain-Aware Neurosymbolic Agent (Dana), an agent-native programming language

A collection of neuro-symbolic systems, papers and videos

Web knowledge is fragmented — duplicated across fonts, embeddings, metadata, and renderings. Humans see pixels, AI sees tokens, neither shares the source. Knowledge3D: a sovereign GPU-native reference implementation for W3C PM-KR, where humans and AI consume the same procedural knowledge from one source.

Differentiable probabilistic answer set programming

Scalable association rule mining from tabular datasets.

Graph Learning for Planning

Sparse Circuits on the GPU (ICLR2025)

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

Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and symbolic execution

An advanced tool for generating, visualizing, and evaluating domain-specific knowledge graphs and ontologies.

Unleash the fuzz on your C codebase.

An intelligent, multi-agent framework for artificial biome simulation.

A Recursive Ontological Framework for Cognitive Design, Neurodivergence Modeling, AI Co-Development, and "Structural AI"

A dedicated repository for learning and researching about neuro-symbolic artificial intelligence (NSAI)

Code and data of "NeSIG: A Neuro-Symbolic Method for Learning to Generate Planning Problems"

headquarters of the April team in Edinburgh