saraswat - Overview
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
My bibliography of NLP papers
Lua 5
Harness for distributed deep neural network training.
X10 4
pcc pcc Public
A quick and dirty implementation of Probabilistic CCP (pcc) in Prolog
Prolog 2
Doing logic with neural nets
TeX 2
Continuing development of Kokkinidis' Instant Glue prover (in Prolog) for multiplicative linear logic (*, -o).