zsoltzombori
Follow
-
mapping Public
Learning mapping rules for relational to ontology alignment
PLpgSQL UpdatedSep 27, 2023 -
PiCO Public
Forked from hbzju/PiCOPyTorch implementation of PiCO https://arxiv.org/abs/2201.08984
Python Apache License 2.0 UpdatedSep 27, 2023 -
progress-measures-paper Public
Forked from mechanistic-interpretability-grokking/progress-measures-paperJupyter Notebook UpdatedAug 31, 2023 -
lemma Public
Using lemmas to aid automated theorem proving for Condensed Detachment Problems
-
lang2program Public
Forked from kelvinguu/lang2programParse natural language into executable programs
Python Apache License 2.0 UpdatedDec 1, 2022 -
Semantic-Loss Public
Forked from UCLA-StarAI/Semantic-LossSemantic Loss code
Python UpdatedMay 26, 2022 -
generative_modeling Public
Collection of generative models and experiments
-
plcop Public
Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover
-
-
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.
-
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…
-
pyswip Public
Forked from yuce/pyswipPySWIP 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 qu…
Python MIT License UpdatedDec 8, 2018 -
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.
-
convolver Public
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
Python UpdatedNov 8, 2016 -