xiaoweih / DLVLinks
☆10Updated 8 years ago
Alternatives and similar repositories for DLV
Users that are interested in DLV are comparing it to the libraries listed below
Sorting:
- Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.☆30Updated 5 years ago
- ☆42Updated 8 years ago
- ☆22Updated 4 years ago
- Torch7 impementation of: Embed to Control: A Locally Linear Latent Dynamics Model for Control from Raw Images☆43Updated 9 years ago
- ☆20Updated 9 years ago
- SyReNN: Symbolic Representations for Neural Networks☆41Updated 2 years ago
- Build-to-Order BLAS☆12Updated 6 years ago
- From Pixels to Torques: Policy Learning using Deep Dynamical Convolutional Neural Networks (DDCNN)☆42Updated 8 years ago
- in progress☆72Updated 7 years ago
- This repository houses the code for the community website http://www.probabilistic-numerics.org☆36Updated 5 years ago
- Off the convex path☆67Updated 2 years ago
- A curated list of awesome neural programming resources☆55Updated 7 years ago
- Warehouse for running small experiments and sharing them with the group☆29Updated 9 years ago
- Implementation of Hamiltonian Monte Carlo using Google's TensorFlow☆46Updated 9 years ago
- Code for "Efficient optimization of loops and limits with randomized telescoping sums"☆27Updated 6 years ago
- Implementation of model described in 'Learning to Protect Communications with Adversarial Neural Cryptography' (Martín Abadi & David G. A…☆46Updated 8 years ago
- Variational Walkback, NIPS'17☆28Updated 7 years ago
- Repo for a paper about constructing priors on very deep models.☆73Updated 9 years ago
- RNNprop☆36Updated 8 years ago
- ☆67Updated 7 years ago
- ☆38Updated 7 years ago
- LaTeX package for randomizing author order based on a public seed.☆40Updated 10 years ago
- Optimally-weighted herding is Bayesian Quadrature☆16Updated 9 years ago
- ☆101Updated 5 years ago
- A clean TensorFlow implementation of Concrete Dropout☆22Updated 7 years ago
- Fastidious accounting of entropy streams into and out of optimization and sampling algorithms.☆33Updated 9 years ago
- ☆59Updated 9 years ago
- ☆15Updated 6 years ago
- Generative Latent Attentive Sampler☆26Updated 8 years ago
- Program Synthesis☆145Updated 4 years ago