Explore projects

This repository is to hack kissat 3.0 to print pb2 proofs instead of DRAT. Also, kissat is hacked to always read cnfs from stdin.

Critic-moderated Genetic Programming

Fork of Orange3 to alter rule mining algorithms for multi-label classification

SLGB scripts using Weka lib

Architecture of neural modules for CLEVR, CLEVR-Dialog, MNIST-Dialog and COCO dataset, training scripts and IRL communication server

The core systems of the Babel toolkit