Popular repositories

1. deep-painterly-harmonization deep-painterly-harmonization Public

   A TensorFlow implementation of "Deep Painterly Harmonization": https://arxiv.org/abs/1804.03189

   Python 8 4

2. firstorder-proof-mode firstorder-proof-mode Public

   A first-order logic proof mode in Coq

   Coq 3

3. graph-rnn graph-rnn Public

   Reproducability experiments for You et al.'s GraphRNN paper

   Python 3

4. msc-code msc-code Public

   Code to reproduce results from my MSc thesis

   Rust 3

5. deep-convolutional-tts deep-convolutional-tts Public

   A PyTorch implementation of DCTTS: https://arxiv.org/pdf/1710.08969

   Python 2 1

6. deep-learning-for-symbolic-mathematics deep-learning-for-symbolic-mathematics Public

   Python 1 1