Differentiable probabilistic answer set programming

A collection of neuro-symbolic systems, papers and videos

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

Graph Learning for Planning [AAAI-24, ICAPS-24, NeurIPS-24]

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

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

A list of awesome resources related to constraint learning

headquarters of the April team in Edinburgh

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

Automatic LLM-generated fuzzing harnesses for your C/C++ project.

AI UK Fringe Event on AI research at City, University of London

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

Propositional logic SAT solver for deterministic/stochastic expressions using Neo4J graph database & machine learning system optimization

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.

Using Anthropic's Claude 3 Opus to solve SAT problems with symbolic tool use.

Coursework for COMSE6998 Natural Language Generation and Summarization

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

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

The repository is to document neurosymbolic AI architectures