saraswat/logic-nn saraswat/logic-nn

  • Stars
    star
    3
  • Rank 3,943,113 (Top 79 %)
  • Language
    TeX
  • Created over 8 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
saraswat/logic-nn
github

saraswat

Reviews

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

Repository Details

Doing logic with neural nets

More Repositories

1

NeuralProgrammerAsProbProg

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

nlp-bib

My bibliography of NLP papers
Lua
5
star
3

rudra-dist

Harness for distributed deep neural network training.
X10
3
star
4

pcc

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

TheanoRudra

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

ClockedX10Sem

Prolog rendition of SOS for clocked X10 programs
Prolog
1
star
7

GlueCHR

A quick and dirty implementation of Glue in Constraint Handling Rules (CHR).
Prolog
1
star
8

C10

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

tcc

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