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"

headquarters of the April team in Edinburgh

A list of awesome resources related to constraint learning

SOVL System (Self-Organizing Virtual Lifeform): An AI agent with autonomous learning capabilities, combining a base LLM with a scaffolded second dynamic LLM for continuous learning via sleep and dream mechanisms

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

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

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

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

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.

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.

The repository is to document neurosymbolic AI architectures

Endless conversations between GPT and Google Gemini with possible human interaction