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:
- A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees☆20Updated 4 years ago
- Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.☆28Updated 5 years ago
- ☆15Updated 6 years ago
- Variational Walkback, NIPS'17☆28Updated 7 years ago
- SyReNN: Symbolic Representations for Neural Networks☆40Updated 2 years ago
- ☆22Updated 3 years ago
- DeepCover: Uncover the truth behind AI☆32Updated last year
- Inference on non-linear dynamical systems written in JAX☆11Updated 4 years ago
- Reachability Analysis of Deep Neural Networks with Provable Guarantees☆36Updated 5 years ago
- ☆20Updated 9 years ago
- Modelling epidemiological dynamics and performing inference in these models☆27Updated 3 years ago
- ☆43Updated 7 years ago
- From Pixels to Torques: Policy Learning using Deep Dynamical Convolutional Neural Networks (DDCNN)☆42Updated 8 years ago
- C++ code for the RDIS algorithm from "Recursive Decomposition for Nonconvex Optimization." Friesen and Domingos, IJCAI 2015.☆57Updated 9 years ago
- ☆102Updated 4 years ago
- Experiments from the article "Tensorial Mixture Models"☆25Updated 7 years ago
- ☆16Updated 8 years ago
- The Charon tool for analyzing neural network robustness☆14Updated 5 years ago
- Fastidious accounting of entropy streams into and out of optimization and sampling algorithms.☆32Updated 9 years ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆15Updated 5 years ago
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆17Updated 3 years ago
- Code for "Efficient optimization of loops and limits with randomized telescoping sums"☆27Updated 6 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 8 years ago
- Code for "Adversarial Constraint Learning for Structured Prediction"☆14Updated 7 years ago
- A LinearOperator implementation for PyTorch☆18Updated 4 years ago
- A Python implementation of Conceptors.☆25Updated 10 years ago
- Deep exponential family models in MXNet/Gluon. Layers o' latents 💤☆17Updated 7 years ago
- Code for NeurIPS 2019 paper: "Symmetry-Based Disentangled Representation Learning requires Interaction with Environments" by H. Caselles-…☆35Updated 5 years ago
- This repository houses the code for the community website http://www.probabilistic-numerics.org☆35Updated 5 years ago