xiaoweih / DLV
☆9Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for DLV
- Torch7 impementation of: Embed to Control: A Locally Linear Latent Dynamics Model for Control from Raw Images☆43Updated 8 years ago
- Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.☆27Updated 4 years ago
- A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees☆20Updated 3 years ago
- From Pixels to Torques: Policy Learning using Deep Dynamical Convolutional Neural Networks (DDCNN)☆43Updated 8 years ago
- ☆18Updated 8 years ago
- ☆42Updated 7 years ago
- Warehouse for running small experiments and sharing them with the group☆29Updated 8 years ago
- Code for a generative controller for the AI Gym cartpole task☆15Updated 7 years ago
- Learning algorithms introduced in "A PAC-Bayes Sample Compression Approach to Kernel Methods" (ICML 2011)☆9Updated 10 years ago
- ☆15Updated 5 years ago
- Python package to sample from determinantal point processes☆18Updated 9 years ago
- Reachability Analysis of Deep Neural Networks with Provable Guarantees☆35Updated 4 years ago
- RL Experiments from our paper "Backpropagation Through the Void": https://arxiv.org/abs/1711.00123. Lovingly forked from OpenAI's RL Base…☆38Updated 6 years ago
- Official implementation for the paper: "Shallow Updates for Deep Reinforcement Learning"☆18Updated 7 years ago
- ☆15Updated 7 years ago
- These are experiments for examining reproducibility in Policy Gradient RL algorithms in Continuous domains. Mainly using the Rllab implem…☆17Updated 7 years ago
- SyReNN: Symbolic Representations for Neural Networks☆40Updated last year
- ☆17Updated 6 years ago
- Fastidious accounting of entropy streams into and out of optimization and sampling algorithms.☆31Updated 8 years ago
- Code for "Efficient optimization of loops and limits with randomized telescoping sums"☆27Updated 5 years ago
- DeepCover: Uncover the truth behind AI☆32Updated 7 months ago
- Variational Walkback, NIPS'17☆28Updated 7 years ago
- Logistic Circuits☆35Updated 5 years ago
- Natural Gradient implementation in Theano☆19Updated 11 years ago
- Predictive State Recurrent Neural Networks☆18Updated 4 years ago
- ☆15Updated 8 years ago
- An iterative neural autoregressive distribution estimator (NADE-K)☆26Updated 10 years ago
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆36Updated 7 years ago
- Optimally-weighted herding is Bayesian Quadrature☆16Updated 8 years ago
- Generative Latent Attentive Sampler☆26Updated 7 years ago