Popular repositories Loading

1. plcop plcop Public

   Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover

   OpenEdge ABL 10 3

2. keras_fashion_mnist_tutorial keras_fashion_mnist_tutorial Public

   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/note…

   Python 3 1

3. lemma lemma Public

   Using lemmas to aid automated theorem proving for Condensed Detachment Problems

   Prolog 3

4. quasi_dimension quasi_dimension Public

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

   Python 2

5. resistant-neurons resistant-neurons Public

   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.

   HTML 1

6. sokoban sokoban Public

   Prolog sokoban engine with python frontend.

   Prolog 1 1