Popular repositories Loading

1. NeuralProgrammerAsProbProg NeuralProgrammerAsProbProg Public

   An attempt to replicate the neural programmer work [Neelakantan et al 2016, 2017] using techniques for learning probability distributions in probabilistic programming languages.

   Prolog 13 1

2. nlp-bib nlp-bib Public

   My bibliography of NLP papers

   Lua 5

3. rudra-dist rudra-dist Public

   Harness for distributed deep neural network training.

   X10 4

4. logic-nn logic-nn Public

   Doing logic with neural nets

   TeX 3

5. pcc pcc Public

   A quick and dirty implementation of Probabilistic CCP (pcc) in Prolog

   Prolog 2

6. instant-glue instant-glue Public

   Continuing development of Kokkinidis' Instant Glue prover (in Prolog) for multiplicative linear logic (*, -o).

   Prolog 2