ermongroup / cs323-notes
Course notes for CS323: Automated Reasoning
☆40Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for cs323-notes
- Learning to Prune: Exploring the Frontier of Fast and Accurate Parsing☆22Updated last month
- Differentiable Forth Interpreter☆66Updated 6 years ago
- Pip-installable differentiable stacks in PyTorch!☆65Updated 4 years ago
- in progress☆72Updated 6 years ago
- Graph-based learning in Python☆18Updated 6 years ago
- Train an Infinite Restricted Boltzmann Machine☆28Updated 6 years ago
- Efficient implementation of Generative Stochastic Networks☆12Updated 10 years ago
- ☆14Updated 8 years ago
- ☆46Updated 11 years ago
- A public wiki for the deep learning reading group at UC Berkeley☆27Updated 8 years ago
- A curated list of awesome neural programming resources☆55Updated 6 years ago
- A CUDA implementation of the Tsetlin Machine based on bitwise operators☆26Updated 5 years ago
- Public course repo☆24Updated 5 years ago
- Tensorflow Implementation of Programmable Agents☆36Updated 7 years ago
- Nonnegative matrix factorizations in MapReduce☆24Updated 9 years ago
- Experiments with differentiable stacks and queues in PyTorch☆142Updated 5 years ago
- Learning to Discover Efficient Mathematical Identities☆48Updated 9 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆11Updated 3 years ago
- Open source implementation of SeaRNN (ICLR 2018, https://openreview.net/forum?id=HkUR_y-RZ)☆49Updated 6 years ago
- Gradient-based optimization algorithms in Python☆49Updated 5 years ago
- Deep Learning DTU summer school 2015☆22Updated 8 years ago
- ☆24Updated 9 years ago
- McKernel: A Library for Approximate Kernel Expansions in Log-linear Time.☆13Updated 2 years ago
- A (possibly/eventually annotated?) collection of resources (books, demos, lectures, etc) that I personally like for various topics in mac…☆31Updated 5 years ago
- Off the convex path☆68Updated last year
- Some examples trained on very reduced versions of the MNIST training set☆46Updated 6 years ago
- An iterative neural autoregressive distribution estimator (NADE-K)☆26Updated 10 years ago
- Gopalan, P., Ruiz, F. J., Ranganath, R., & Blei, D. M. (2014). Bayesian Nonparametric Poisson Factorization for Recommendation Systems. I…☆15Updated 10 years ago
- Atari gauntlet for RL agents☆29Updated 7 years ago