Differentiable probabilistic answer set programming

A collection of neuro-symbolic systems, papers and videos

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

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

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

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.

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

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

Coursework for COMSE6998 Natural Language Generation and Summarization

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

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

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

Personal website of Ernesto Jiménez-Ruiz, Lecturer in AI at City, University of London