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:
- Public course repo☆24Updated 6 years ago
- Learning to Prune: Exploring the Frontier of Fast and Accurate Parsing☆22Updated 9 months ago
- 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
- A (possibly/eventually annotated?) collection of resources (books, demos, lectures, etc) that I personally like for various topics in mac…☆32Updated 6 years ago
- Probabilistic Neural Programming☆76Updated 6 years ago
- Code and data for the CoNLL 2018 paper "Adversarially Regularising Neural NLI Models to Integrate Logical Background Knowledge."☆25Updated 6 years ago
- ☆45Updated 5 years ago
- This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for p…☆69Updated 7 years ago
- Pip-installable differentiable stacks in PyTorch!☆65Updated 4 years ago
- Off the convex path☆67Updated 2 years ago
- Modeling agents with probabilistic programs☆67Updated 5 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…☆77Updated 5 years ago
- Program Synthesis☆145Updated 4 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 5 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Updated 4 years ago
- Learning to Discover Efficient Mathematical Identities☆48Updated 10 years ago
- Code for the publication Learning to Reason with Third-Order Tensor Products.☆40Updated 6 years ago
- RelNN is a novel first-order deep neural model for relational learning.☆28Updated 7 years ago
- A public wiki for the deep learning reading group at UC Berkeley☆27Updated 8 years ago
- in progress☆72Updated 7 years ago
- A curated lists of self-taught materials including research blogs☆16Updated 8 years ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆15Updated 6 years ago
- Quick definitions and intuitive explanations around machine learning.☆35Updated last year
- Some examples trained on very reduced versions of the MNIST training set☆47Updated 7 years ago
- ☆14Updated 9 years ago
- learning to search in pytorch☆110Updated 5 years ago
- Differentiable Forth Interpreter☆72Updated 7 years ago
- ☆27Updated 6 years ago
- NYU PSYCH-GA 3405.001 / DS-GA 3001.014 : Advancing AI through cognitive science☆132Updated 6 years ago