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
Sorting:
- ☆45Updated 5 years ago
- Learning to Prune: Exploring the Frontier of Fast and Accurate Parsing☆22Updated 7 months ago
- Off the convex path☆67Updated 2 years ago
- Code and data for the CoNLL 2018 paper "Adversarially Regularising Neural NLI Models to Integrate Logical Background Knowledge."☆25Updated 6 years ago
- Pip-installable differentiable stacks in PyTorch!☆65Updated 4 years ago
- Experiments with differentiable stacks and queues in PyTorch☆142Updated 5 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Updated 4 years ago
- TargetProp for RNNs☆27Updated 6 years ago
- Code for Emergent Translation in Multi-Agent Communication☆80Updated 6 years ago
- Some examples trained on very reduced versions of the MNIST training set☆47Updated 7 years ago
- PyTorch implementation of the NIPS'17 paper Training Deep Networks without Learning Rates Through Coin Betting.☆37Updated 6 years ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆16Updated 5 years ago
- NYU PSYCH-GA 3405.001 / DS-GA 3001.014 : Advancing AI through cognitive science☆131Updated 6 years ago
- ☆58Updated 8 years ago
- Translating neuralese☆44Updated 8 years ago
- ☆42Updated 4 years ago
- McKernel: A Library for Approximate Kernel Expansions in Log-linear Time.☆13Updated 2 years ago
- Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick☆17Updated 7 years ago
- Learning to Discover Efficient Mathematical Identities☆48Updated 10 years ago
- Code for "Systematic Generalization: What Is Required and Can It Be Learned"☆37Updated 6 years ago
- Code for the publication Learning to Reason with Third-Order Tensor Products.☆40Updated 6 years ago
- A supplementary code for Beyond Vector Spaces: Compact Data Representation as Differentiable Weighted Graphs.☆47Updated 5 years ago
- Open source implementation of SeaRNN (ICLR 2018, https://openreview.net/forum?id=HkUR_y-RZ)☆48Updated 6 years ago
- Generative Latent Attentive Sampler☆26Updated 7 years ago
- Experiments for AAAI anchor paper☆63Updated 7 years ago
- An extension to Sacred for automated hyperparameter optimization.☆59Updated 7 years ago
- in progress☆72Updated 7 years ago
- Public course repo☆24Updated 6 years ago
- NeurIPS workshop on Advances in Approximate Bayesian Inference☆48Updated 2 weeks ago
- A reference implementation of algorithms for distributions over spanning trees.☆21Updated 5 years ago