A neurosymbolic perspective on LLMs

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

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

Sparse Circuits on the GPU (ICLR2025)

Unleash the fuzz on your C codebase.

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

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

A list of awesome resources related to constraint learning

An experimental codebase developed to empirically investigate several phenomena predicted by the theoretical framework proposed in the associated research paper, grounded in the Free Energy Principle

ANSR-DT: An open-source Adaptive Neuro-Symbolic framework for real-time learning and reasoning in Digital Twins. Combines CNN-LSTM, reinforcement learning, and symbolic reasoning for interpretable, adaptive decision-making.

Modular framework for building self-modeling artificial agents with explicit internal state representation and meta-cognitive capabilities. Includes RL, hybrid, and dummy policies with integrated SelfModel monitoring and scientific metrics.

Code for Interpretable Concept-Based Memory Reasoning (NeurIPS 2024)

Basic crafting implemented with STRIPS planning to showcase the NeurASP architecture.

This repo presents codes that allows user for implementating a NeuroSymbolic Abductive Reasoning for Disease–Symptom Diagnosis

A Python package for generating RDF knowledge graphs based on the Volcano Event Ontology VEO.

Endless conversations between GPT and Google Gemini with possible human interaction

Experiments with basic reinforcement learning agents and rudimentary game environments.

Experiments in neuro-symbolic reinforcement learning in the pursuit of developing agents/methods to aid in organic reasoning, inference, and logic.

A web-based neurosymbolic knowledge graph system for visualizing and analyzing philosophical concepts and their relationships with AI-powered enrichment