blexim / synthLinks
Program synthesis
☆12Updated 9 years ago
Alternatives and similar repositories for synth
Users that are interested in synth are comparing it to the libraries listed below
Sorting:
- Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover☆12Updated 4 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- ☆43Updated 7 years ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Updated 5 years ago
- deep learning for math☆29Updated 6 years ago
- Program Synthesis☆145Updated 4 years ago
- DeepAlgebra☆25Updated 7 years ago
- Hierarchical Temporal Sparse Learner☆13Updated 9 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- Implementation of generative semantic grammar.☆18Updated 3 years ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Updated 7 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆116Updated 2 weeks ago
- System for eXtended Hybrid Abductive Inductive Learning☆25Updated 3 years ago
- Language Modeling with Sum-Product Networks☆20Updated 10 years ago
- Content Addressable Memory using dimensionality reduction☆12Updated 8 years ago
- An intelligent agent that adaptively changes its thought processes to maximize cumulative reward☆11Updated 8 years ago
- Learning to Prune: Exploring the Frontier of Fast and Accurate Parsing☆22Updated 8 months ago
- A neural assembly compiler for pyTorch based on adaptive-neural-compilation☆27Updated 7 years ago
- Implementation of the Monte-Carlo CTW AIXI approximation as described by Joel Veness et al.☆12Updated 8 years ago
- A C++ library implementing fast language models estimation using the 1-Sort algorithm.☆17Updated 2 years ago
- Improving spiking dynamical networks: Accurate delays, higher-order synapses, and time cells☆7Updated 7 years ago
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆35Updated 8 years ago
- Feed-forward neural networks☆8Updated 7 years ago
- in progress☆72Updated 7 years ago
- Theano implementation of the Neural GPU☆15Updated 9 years ago
- PyTorch library for synthesizing programs from natural language☆18Updated 10 months ago
- ☆18Updated 8 years ago
- An attempt to reimplement the 2013 paper by Wissner-Gross & Freer☆10Updated 5 months ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago