Discover @zsoltzombori Open Source projects

@zsoltzombori

zsoltzombori

Stars
18
Global Rank 680,720 (Top 24 %)
Followers 1
Registered over 8 years ago
Most used languages

Prolog
33.3 %

Python
33.3 %

OpenEdge ABL 16.7 %

HTML
16.7 %

plcop

Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover

lemma

Using lemmas to aid automated theorem proving for Condensed Detachment Problems

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.

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.

sokoban

Prolog sokoban engine with python frontend.

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.