☆42Aug 14, 2017Updated 8 years ago
Alternatives and similar repositories for TerpreT
Users that are interested in TerpreT are comparing it to the libraries listed below
Sorting:
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- purple: compiling a reflective language☆33Oct 14, 2024Updated last year
- ☆28Dec 18, 2017Updated 8 years ago
- software archaeology of reflective towers of interpreters☆17Jun 6, 2025Updated 8 months ago
- Testing OpenAI Universe☆14Dec 10, 2016Updated 9 years ago
- mixed membership stochastic block model☆13Jun 8, 2016Updated 9 years ago
- Program Synthesis☆146Mar 8, 2021Updated 4 years ago
- python toolbox for calculations related to quantum entanglement (including squashed entanglement) "Speak Quantum Friend and Enter"☆14Jun 29, 2020Updated 5 years ago
- Pytorch implementation of the paper 'Compositional language emerge in a neural iterated learning' (ICLR 2020).☆16Oct 14, 2021Updated 4 years ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆17Dec 21, 2015Updated 10 years ago
- Differentiable Forth Interpreter☆74Feb 5, 2018Updated 8 years ago
- Talk to be given at PLMW 2022☆19Jan 19, 2022Updated 4 years ago
- Learning to Prune: Exploring the Frontier of Fast and Accurate Parsing☆22Sep 24, 2024Updated last year
- Collapsing Towers of Interpreters (in Scheme)☆59Aug 22, 2018Updated 7 years ago
- PyTorch code for meta seq2seq learning☆43Jan 14, 2020Updated 6 years ago
- Fast Inference of Networks from Directed Regulations☆22Dec 7, 2023Updated 2 years ago
- ☆20Jun 1, 2016Updated 9 years ago
- Featherweight embedded probabilistic programming language and compositional inference programming library☆18May 15, 2020Updated 5 years ago
- ☆57May 5, 2018Updated 7 years ago
- End-to-End Differentiable Proving☆90Nov 21, 2018Updated 7 years ago
- OOPSLA 2019 Artifact for AutoPandas. Website at https://rbavishi.github.io/autopandas☆31Nov 21, 2022Updated 3 years ago
- Matlab interface for ECOS☆22Jan 30, 2020Updated 6 years ago
- Collapsing Towers of Interpreters☆93Jun 21, 2025Updated 8 months ago
- Sunrise on the Boxer Reconstruction Project☆56Updated this week
- Lynx Matlab Toolbox☆23May 19, 2016Updated 9 years ago
- Exploring Few-Shot Adaptation of Language Models with Tables☆24Aug 22, 2022Updated 3 years ago
- ML/DL/RL paper notes☆21Dec 19, 2018Updated 7 years ago
- Vector-Space Markov Random Fields☆21May 13, 2015Updated 10 years ago
- Record demonstrations for µniverse☆21Jan 3, 2019Updated 7 years ago
- A programming argot☆57Apr 10, 2024Updated last year
- Learning to Auto-Complete using RNN Language Models☆155Jan 17, 2017Updated 9 years ago
- ☆23Sep 4, 2016Updated 9 years ago
- Functional ANOVA☆28Nov 17, 2014Updated 11 years ago
- Course on Metaprogramming☆75Feb 5, 2026Updated 3 weeks ago
- We have moved to https://github.com/limix/limix.☆23Aug 29, 2017Updated 8 years ago
- A Chainer implementation of OpenAI's finetuned transformer language model with a script to import the weights pre-trained by OpenAI☆28Jun 20, 2018Updated 7 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Feb 19, 2026Updated last week
- deep learning for math☆29May 4, 2019Updated 6 years ago
- C# Data Extraction for "Learning to Represent Edits"☆27Nov 3, 2018Updated 7 years ago