Differentiable probabilistic answer set programming

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

A collection of neuro-symbolic systems, papers and videos

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

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

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

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

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.

Propositional logic proof writer for deterministc/stochastic expressions using Neo4J graph database & machine learning system optimization

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.

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

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