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.☆29Updated 5 years ago
- ☆42Updated 8 years ago
- A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees☆20Updated 4 years ago
- This repository houses the code for the community website http://www.probabilistic-numerics.org☆36Updated 5 years ago
- ☆22Updated 4 years ago
- ☆20Updated 9 years ago
- ☆101Updated 5 years ago
- A curated list of awesome neural programming resources☆55Updated 7 years ago
- Reachability Analysis of Deep Neural Networks with Provable Guarantees☆36Updated 5 years ago
- Code for NeurIPS 2019 paper: "Symmetry-Based Disentangled Representation Learning requires Interaction with Environments" by H. Caselles-…☆35Updated 5 years ago
- Inference on non-linear dynamical systems written in JAX☆11Updated 5 years ago
- Variational Walkback, NIPS'17☆28Updated 7 years ago
- Code for a generative controller for the AI Gym cartpole task☆15Updated 8 years ago
- Tensorflow implementation of preconditioned stochastic gradient descent☆34Updated last year
- Program Synthesis☆145Updated 4 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
- in progress☆72Updated 7 years ago
- Warehouse for running small experiments and sharing them with the group☆29Updated 9 years ago
- Certifying Geometric Robustness of Neural Networks☆16Updated 2 years ago
- SyReNN: Symbolic Representations for Neural Networks☆41Updated 2 years ago
- Karel dataset for program synthesis and program induction☆79Updated 7 years ago
- RL Experiments from our paper "Backpropagation Through the Void": https://arxiv.org/abs/1711.00123. Lovingly forked from OpenAI's RL Base…☆39Updated 7 years ago
- Repo for a paper about constructing priors on very deep models.☆73Updated 9 years ago
- Generative Latent Attentive Sampler☆26Updated 8 years ago
- Fastidious accounting of entropy streams into and out of optimization and sampling algorithms.☆33Updated 9 years ago
- Reliable Uncertainty Estimates in Deep Neural Networks using Noise Contrastive Priors☆62Updated 5 years ago
- Matlab code implementing Minimum Probability Flow Learning.☆69Updated 10 years ago
- Research code need not be ugly.☆77Updated last year
- Optimally-weighted herding is Bayesian Quadrature☆16Updated 9 years ago