xiaoweih / DLV
☆9Updated 7 years ago
Related projects: ⓘ
- Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.☆26Updated 4 years ago
- ☆42Updated 7 years ago
- ☆15Updated 5 years ago
- Code for a generative controller for the AI Gym cartpole task☆15Updated 7 years ago
- Optimally-weighted herding is Bayesian Quadrature☆16Updated 8 years ago
- All code for the Piecewise Linear Neural Networks verification: A comparative study paper☆33Updated 5 years ago
- SyReNN: Symbolic Representations for Neural Networks☆40Updated last year
- A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees☆19Updated 3 years ago
- Variational Walkback, NIPS'17☆28Updated 6 years ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆16Updated 5 years ago
- Fastidious accounting of entropy streams into and out of optimization and sampling algorithms.☆31Updated 8 years ago
- Logistic Circuits☆35Updated 5 years ago
- Code for "Efficient optimization of loops and limits with randomized telescoping sums"☆27Updated 5 years ago
- Learning algorithms introduced in "A PAC-Bayes Sample Compression Approach to Kernel Methods" (ICML 2011)☆9Updated 9 years ago
- DeepCover: Uncover the truth behind AI☆32Updated 5 months ago
- Preconditioning Kernel Matrices☆15Updated 8 years ago
- Code for the Santa algorithm for deep learning☆17Updated 6 years ago
- Reachability Analysis of Deep Neural Networks with Provable Guarantees☆34Updated 4 years ago
- ☆59Updated 8 years ago
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆36Updated 7 years ago
- NeurIPS 2018. Linear-time model comparison tests.☆17Updated 4 years ago
- Visualizes gradient descent techniques on functions of two variables f(x, y): Stochastic Gradient Descent, Momentum, Nesterov's Accelerat…☆13Updated 7 years ago
- ☆17Updated 6 years ago
- Averaged Stochastic Gradient Descent Classifiers☆41Updated 12 years ago
- ☆38Updated 6 years ago
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆16Updated 3 years ago
- LaTeX style file for the Journal of Machine Learning Research☆9Updated 4 years ago
- ☆101Updated 4 years ago
- A very simple variant of adversarial training that yields excellent results on MNIST☆12Updated 8 years ago
- The Charon tool for analyzing neural network robustness☆13Updated 4 years ago