ermongroup / cs323-notes
Course notes for CS323: Automated Reasoning
☆41Updated 7 years ago
Alternatives and similar repositories for cs323-notes:
Users that are interested in cs323-notes are comparing it to the libraries listed below
- Learning to Prune: Exploring the Frontier of Fast and Accurate Parsing☆22Updated 3 months ago
- TargetProp for RNNs☆28Updated 5 years ago
- Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick☆16Updated 7 years ago
- ☆14Updated 8 years ago
- A curated list of awesome neural programming resources☆55Updated 6 years ago
- Translating neuralese☆44Updated 7 years ago
- ☆46Updated 11 years ago
- ☆50Updated 6 years ago
- Code and data for the CoNLL 2018 paper "Adversarially Regularising Neural NLI Models to Integrate Logical Background Knowledge."☆25Updated 5 years ago
- review of Deep Learning for Nature☆31Updated 9 years ago
- A reference implementation of algorithms for distributions over spanning trees.☆21Updated 4 years ago
- Pip-installable differentiable stacks in PyTorch!☆65Updated 4 years ago
- Neural tensor network for KB completion ( http://papers.nips.cc/paper/by-source-2013-504 )☆21Updated 10 years ago
- ☆59Updated 8 years ago
- Learning to Discover Efficient Mathematical Identities☆48Updated 10 years ago
- Public course repo☆24Updated 5 years ago
- Experiments with differentiable stacks and queues in PyTorch☆142Updated 5 years ago
- Efficient implementation of Generative Stochastic Networks☆12Updated 11 years ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆16Updated 5 years ago
- in progress☆72Updated 7 years ago
- learning to search in pytorch☆110Updated 4 years ago
- Open access book on variational Bayesian methods written collaboratively☆28Updated 9 years ago
- ☆74Updated 5 years ago
- Poincare Embeddings for Word Vector Representations☆19Updated 7 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆11Updated 3 years ago
- CausalTrail - a tool for performing causal reasoning using the do-calculus☆12Updated 3 years ago
- demonstration for our ACL 2018 paper, "On the Practical Computational Power of Finite Precision RNNs for Language Recognition"☆11Updated 5 years ago
- Notes from Simons Institute program "Foundations of Machine Learning"☆13Updated 7 years ago
- Differentiable Forth Interpreter☆68Updated 6 years ago