saraswat/logic-nn

Stars
3
Rank 3,963,521 (Top 79 %)
Language
TeX
Created over 8 years ago
Updated about 7 years ago

saraswat/logic-nn

saraswat

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Doing logic with neural nets

NeuralProgrammerAsProbProg

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

nlp-bib

My bibliography of NLP papers

rudra-dist

Harness for distributed deep neural network training.

pcc

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

TheanoRudra

An adaptation of the Rudra distributed deep learning framework for Theano.

ClockedX10Sem

Prolog rendition of SOS for clocked X10 programs

GlueCHR

A quick and dirty implementation of Glue in Constraint Handling Rules (CHR).

C10

C10 is a strongly-typed, object-oriented, probabilistic, timed, concurrent constraint programming language, being developed within the X10 family of languages.

tcc

A Prolog implementation of tcc, originally in the 1995 "Programming in Timed Concurrent Constraint Programming" paper.