xiaoweih / DLV
☆10Updated 8 years ago
Alternatives and similar repositories for DLV:
Users that are interested in DLV are comparing it to the libraries listed below
- ☆43Updated 7 years ago
- ☆15Updated 6 years ago
- ☆17Updated 7 years ago
- All code for the Piecewise Linear Neural Networks verification: A comparative study paper☆36Updated 6 years ago
- A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees☆20Updated 4 years ago
- ☆101Updated 4 years ago
- Inference on non-linear dynamical systems written in JAX☆11Updated 4 years ago
- Code for NeurIPS 2019 paper: "Symmetry-Based Disentangled Representation Learning requires Interaction with Environments" by H. Caselles-…☆35Updated 5 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 last year
- ☆20Updated 8 years ago
- SyReNN: Symbolic Representations for Neural Networks☆40Updated 2 years ago
- Variational Walkback, NIPS'17☆28Updated 7 years ago
- Warehouse for running small experiments and sharing them with the group☆29Updated 8 years ago
- Statistical adaptive stochastic optimization methods☆33Updated 5 years ago
- From Pixels to Torques: Policy Learning using Deep Dynamical Convolutional Neural Networks (DDCNN)☆42Updated 8 years ago
- Torch7 impementation of: Embed to Control: A Locally Linear Latent Dynamics Model for Control from Raw Images☆42Updated 9 years ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆16Updated 5 years ago
- Reachability Analysis of Deep Neural Networks with Provable Guarantees☆36Updated 5 years ago
- ☆58Updated 8 years ago
- Logistic Circuits☆35Updated 5 years ago
- A curated list of awesome neural programming resources☆55Updated 6 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
- Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.☆28Updated 5 years ago
- Turning Python into a probabilistic programming language☆19Updated 10 years ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- Off the convex path☆67Updated 2 years ago
- ☆11Updated 8 years ago
- ☆17Updated 8 years ago
- in progress☆72Updated 7 years ago