ermongroup / cs323-notesLinks
Course notes for CS323: Automated Reasoning
☆42Updated 8 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:
- Learning to Prune: Exploring the Frontier of Fast and Accurate Parsing☆22Updated last year
- A curated list of awesome neural programming resources☆55Updated 7 years ago
- Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick☆17Updated 8 years ago
- This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for p…☆70Updated 7 years ago
- Pip-installable differentiable stacks in PyTorch!☆65Updated 5 years ago
- Experiments with differentiable stacks and queues in PyTorch☆145Updated 6 years ago
- Public course repo☆24Updated 6 years ago
- Probabilistic Neural Programming☆75Updated 6 years ago
- Graph-based learning in Python☆17Updated 7 years ago
- in progress☆72Updated 7 years ago
- Program Synthesis☆145Updated 4 years ago
- Slides/code for the Lisbon machine learning school 2017☆28Updated 8 years ago
- Learning to Discover Efficient Mathematical Identities☆48Updated 11 years ago
- Code and data for the CoNLL 2018 paper "Adversarially Regularising Neural NLI Models to Integrate Logical Background Knowledge."☆25Updated 6 years ago
- Code for Emergent Translation in Multi-Agent Communication☆81Updated 7 years ago
- TargetProp for RNNs☆27Updated 6 years ago
- ☆45Updated 6 years ago
- ☆27Updated 6 years ago
- This repo contains the code for the paper Neural Factor Graph Models for Cross-lingual Morphological Tagging.☆52Updated 7 years ago
- Generative Latent Attentive Sampler☆26Updated 8 years ago
- AutoDiff DAG constructor, built on numpy and Cython. A Neural Turing Machine and DeepQ agent run on it. Clean code for educational purpos…☆78Updated 5 years ago
- Code for the publication Learning to Reason with Third-Order Tensor Products.☆41Updated 6 years ago
- learning to search in pytorch☆110Updated 5 years ago
- Off the convex path☆67Updated 2 years ago
- Open source implementation of SeaRNN (ICLR 2018, https://openreview.net/forum?id=HkUR_y-RZ)☆48Updated 7 years ago
- ☆48Updated 7 years ago
- NAACL 2018 Tutorial: Modelling Natural Language, Programs, and their Intersection☆101Updated 7 years ago
- brat rapid annotation tool (brat) - for all your textual annotation needs☆10Updated 7 years ago
- Open access book on variational Bayesian methods written collaboratively☆28Updated 10 years ago
- ☆58Updated 9 years ago