A neurosymbolic perspective on LLMs

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

A collection of neuro-symbolic systems, papers and videos

Differentiable probabilistic answer set programming

Graph Learning for PDDL Planning

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

Unleash the fuzz on your C codebase.

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

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

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

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

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

A list of awesome resources related to constraint learning

headquarters of the April team in Edinburgh

My BSc Thesis on fuzzing automation through LLMs.

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.

LLY-HDC uses hyperdimesnional computing and neurosymbolic AI to implement a high-performance AI model on quantum computers

Enhancing reasoning capabilities of LLMs by fine-tuning based algorithm using Symbolic AI feedback component

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.