DAIOS-AI / mindscript
A programming language for formal/informal computation.
☆41Updated 3 weeks ago
Alternatives and similar repositories for mindscript:
Users that are interested in mindscript are comparing it to the libraries listed below
- The Energy Transformer block, in JAX☆57Updated last year
- Code for "Meta Learning Backpropagation And Improving It" @ NeurIPS 2021 https://arxiv.org/abs/2012.14905☆31Updated 3 years ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- ☆55Updated 5 months ago
- ARC gym: a data generation framework for the Abstraction & Reasoning Corpus☆21Updated last month
- Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.☆53Updated 3 years ago
- An environment for learning formal mathematical reasoning from scratch☆66Updated 8 months ago
- Code for minimum-entropy coupling.☆31Updated 10 months ago
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆82Updated last month
- Materials for ConceptARC paper☆92Updated 6 months ago
- ☆60Updated 3 years ago
- ☆65Updated 3 years ago
- ☆17Updated 8 months ago
- ☆43Updated last month
- Official Implementation of the ICML 2023 paper: "Neural Wave Machines: Learning Spatiotemporally Structured Representations with Locally …☆71Updated last year
- 🧮 Algebraic Positional Encodings.☆12Updated 4 months ago
- Scaling scaling laws with board games.☆48Updated last year
- slowly building a set of infinite riddle generators for data-hungry methods