zsoltzombori

convolver

This project implements an universal image colvolver layer in Keras: it takes an arbitrary Keras layer as an input and applies convolution using that layer

generative_modeling

Collection of generative models and experiments

k-arm

Keras implementation of k-arm learning

keras_fashion_mnist_tutorial

This repository contains a collection of small models trained on the fashion_mnist dataset. Most of the code is taken from https://www.kaggle.com/danialk/range-of-cnns-on-fashion-mnist-dataset/notebook with minor modifications.

lang2program

Parse natural language into executable programs

lemma

Using lemmas to aid automated theorem proving for Condensed Detachment Problems

plcop

Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover

quasi_dimension

This project aims to discover a flexible, continuous relaxation of dimension that can be used for machine learning purposes to characterise that data manifold.

resistant-neurons

This project explores how neurons "die", i.e. become useless, and we try to counter this process by explicitly requiring each neuron to do something useful.

sokoban

Prolog sokoban engine with python frontend.

zsoltzombori/plcop

Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover

zsoltzombori/keras_fashion_mnist_tutorial

This repository contains a collection of small models trained on the fashion_mnist dataset. Most of the code is taken from https://www.kaggle.com/danialk/range-of-cnns-on-fashion-mnist-dataset/notebook with minor modifications.

zsoltzombori/lemma

Using lemmas to aid automated theorem proving for Condensed Detachment Problems

zsoltzombori/quasi_dimension

This project aims to discover a flexible, continuous relaxation of dimension that can be used for machine learning purposes to characterise that data manifold.

zsoltzombori/resistant-neurons

This project explores how neurons "die", i.e. become useless, and we try to counter this process by explicitly requiring each neuron to do something useful.

zsoltzombori/sokoban

Prolog sokoban engine with python frontend.

zsoltzombori/convolver

This project implements an universal image colvolver layer in Keras: it takes an arbitrary Keras layer as an input and applies convolution using that layer

zsoltzombori/generative_modeling

Collection of generative models and experiments

zsoltzombori/k-arm

Keras implementation of k-arm learning

zsoltzombori/lang2program

Parse natural language into executable programs

zsoltzombori/mapping

Learning mapping rules for relational to ontology alignment

zsoltzombori/PiCO

PyTorch implementation of PiCO https://arxiv.org/abs/2201.08984

zsoltzombori/progress-measures-paper

zsoltzombori/pyswip

PySWIP is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.

zsoltzombori/Semantic-Loss

Semantic Loss code