mszubert / 2048
N-Tuple Networks for the Game 2048
☆19Updated 10 years ago
Alternatives and similar repositories for 2048:
Users that are interested in 2048 are comparing it to the libraries listed below
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆35Updated 8 years ago
- Karel dataset for program synthesis and program induction☆79Updated 7 years ago
- in progress☆72Updated 7 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- Symbolic execution engine for toy language.☆51Updated 7 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 11 months ago
- Differentiable Forth Interpreter☆69Updated 7 years ago
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆38Updated 2 years ago
- This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for p…☆68Updated 6 years ago
- Course notes for CS323: Automated Reasoning☆41Updated 7 years ago
- ☆58Updated 8 years ago
- ☆12Updated 5 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆12Updated 12 years ago
- Neural Programmer-Interpreter Implementation (Reed, de Freitas: https://arxiv.org/abs/1511.06279), in Tensorflow☆41Updated 6 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆69Updated 8 years ago
- Abstract interpreter for real-world application programs☆32Updated 11 years ago
- Implementation of TraFix (automatic trainable decompiler based on NMT) as published in ArXiv☆39Updated 5 years ago
- Program Analysis for LLVM☆36Updated 8 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 9 years ago
- A code generation dataset for generating the code that implements Hearthstone and Magic The Gathering card effects.☆243Updated 7 years ago
- End-to-End Differentiable Proving☆88Updated 6 years ago
- 2048 AI☆88Updated 8 years ago
- A Learning Environment for Theorem Proving☆73Updated 2 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 10 years ago
- ☆43Updated 7 years ago
- Theano implementation of Tree RNNs aka Recursive Neural Networks.☆235Updated 8 years ago
- My PhD thesis, titled "Reasonably Programmable Syntax"☆15Updated 6 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆22Updated last year
- Parser for the llvm bitcode format☆60Updated last week