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
- Inference on non-linear dynamical systems written in JAX☆11Updated 4 years ago
- ☆43Updated 7 years ago
- SyReNN: Symbolic Representations for Neural Networks☆41Updated 2 years ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆15Updated 5 years ago
- All code for the Piecewise Linear Neural Networks verification: A comparative study paper☆35Updated 6 years ago
- ☆15Updated 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
- Variational Walkback, NIPS'17☆28Updated 7 years ago
- ☆22Updated 4 years ago
- Code Release for Task Agnostic Dynamics Priors for Deep Reinforcement Learning☆12Updated 6 years ago
- ☆20Updated 3 years ago
- Optimally-weighted herding is Bayesian Quadrature☆16Updated 8 years ago
- This repository houses the code for the community website http://www.probabilistic-numerics.org☆35Updated 5 years ago
- Public accompanying repository for Universite de Montreal's IFT 6757: Autnonomous Vehicles, Fall 2019.☆11Updated 3 years ago
- Code for "Learning Inductive Biases with Simple Neural Networks" (Feinman & Lake, 2018).☆22Updated 6 years ago
- Program Synthesis☆145Updated 4 years ago
- Logistic Circuits☆36Updated 5 years ago
- ☆28Updated 7 years ago
- Code to reproduce the results in the "Unsupervised Learning of Goal Spaces for Intrinsically Motivated Exploration"☆21Updated 7 years ago
- DeepCover: Uncover the truth behind AI☆32Updated last year
- Reachability Analysis of Deep Neural Networks with Provable Guarantees☆36Updated 5 years ago
- Code for a generative controller for the AI Gym cartpole task☆15Updated 8 years ago
- Deep Probabilistic Programming Language☆19Updated 11 months ago
- A LinearOperator implementation for PyTorch☆18Updated 4 years ago
- Models and code from Learning to Predict Denotational Probabilities For Modeling Entailment☆14Updated 7 years ago
- Code for "Efficient optimization of loops and limits with randomized telescoping sums"☆27Updated 6 years ago
- Automated Controller Synthesis☆15Updated 7 years ago
- implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019☆18Updated 5 years ago