uclnlp / d4Links
Differentiable Forth Interpreter
☆72Updated 7 years ago
Alternatives and similar repositories for d4
Users that are interested in d4 are comparing it to the libraries listed below
Sorting:
- ☆43Updated 7 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- End-to-End Differentiable Proving☆89Updated 6 years ago
- Learning to Prune: Exploring the Frontier of Fast and Accurate Parsing☆22Updated 9 months ago
- ☆58Updated 9 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Updated 4 years ago
- HOUDINI: Lifelong Learning as Program Synthesis☆48Updated 3 months ago
- This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for p…☆69Updated 7 years ago
- Probabilistic Neural Programming☆76Updated 6 years ago
- ☆79Updated 4 years ago
- deep learning for math☆30Updated 6 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆75Updated 7 years ago
- Simple, small, fully-connected Python version of NeoRL☆11Updated 9 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆116Updated 2 weeks ago
- Program Synthesis☆145Updated 4 years ago
- ☆57Updated 7 years ago
- A Python implementation of the gradient REBAR estimator.☆46Updated 7 years ago
- Topics on theoretical, mathematical aspects of DL☆72Updated 8 years ago
- in progress☆72Updated 7 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Updated 4 years ago
- Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/☆15Updated 5 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- Cephes Mathematical Functions library wrapped for Torch☆47Updated 9 years ago
- Backprop training of recurrent neural networks with Hebbian plastic connections☆20Updated 3 years ago
- ☆15Updated 6 years ago
- Code and data for the CoNLL 2018 paper "Adversarially Regularising Neural NLI Models to Integrate Logical Background Knowledge."☆25Updated 6 years ago
- A low-level probabilistic programming framework embedded in Terra.☆29Updated 8 years ago
- Train an Infinite Restricted Boltzmann Machine☆28Updated 6 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆76Updated last month
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Updated 9 years ago