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"

headquarters of the April team in Edinburgh

A list of awesome resources related to constraint learning

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

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

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

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.

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

Coursework for COMSE6998 Natural Language Generation and Summarization

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

The repository is to document neurosymbolic AI architectures

Endless conversations between GPT and Google Gemini with possible human interaction

Headquarters of the APRIL research lab

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.