Pinned Loading

1. spikedistance spikedistance Public

   Code for paper "Spike distance function as a learning objective for spike prediciton"

   Python 1

2. lean lean Public

   Playing with the Lean Prover.

   Lean

3. color color Public

   Experiments on neural network interpretability from the perspective of contextual colors

   Jupyter Notebook

4. csb-bot csb-bot Public

   AI bot for multiplayer game.

   C++ 1 1

5. draw draw Public

   NumPy only implementation of the DRAW paper.

   Python

6. rl rl Public

   Implementations of ideas from "Reinforcement Learning: An Introduction" by Sutton and Barto.

   C++ 1