Explore projects

The all-in-one toolkit for multi-agent experiments on emergent communication.

Critic-moderated Genetic Programming

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

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.

Initializer for Matlab projects

Cookingbot for the AI Programming Paradigms course

The core systems of the Babel toolkit

Time series prediction dataset.