DAIOS-AI / mindscript
A programming language for formal/informal computation.
☆41Updated 7 months ago
Alternatives and similar repositories for mindscript:
Users that are interested in mindscript are comparing it to the libraries listed below
- An environment for learning formal mathematical reasoning from scratch☆58Updated 5 months ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆27Updated 10 months ago
- Materials for ConceptARC paper☆82Updated 2 months ago
- Probabilistic programming with HuggingFace language models☆92Updated this week
- The Energy Transformer block, in JAX☆54Updated last year
- Code for minimum-entropy coupling.☆31Updated 6 months ago
- Language-annotated Abstraction and Reasoning Corpus☆82Updated last year
- Generative cellular automaton-like learning environments for RL.☆19Updated 3 months ago
- ☆56Updated 2 years ago
- gzip Predicts Data-dependent Scaling Laws☆33Updated 7 months ago
- ☆40Updated last month
- Harmonic Datasets☆34Updated 6 months ago
- ☆26Updated last year
- Cellular Automata Accelerated in JAX☆77Updated last month
- ☆19Updated 11 months ago
- A domain-specific probabilistic programming language for reasoning about reasoning☆44Updated this week
- Learn online intrinsic rewards from LLM feedback☆33Updated last month
- Dataset and benchmark for assessing LLMs in translating natural language descriptions of planning problems into PDDL☆48Updated 3 months ago
- A domain-specific probabilistic programming language for modeling and inference with language models☆113Updated last year
- [ICML 2024] Official code release accompanying the paper "diff History for Neural Language Agents" (Piterbarg, Pinto, Fergus)☆19Updated 4 months ago
- Code for "Meta Learning Backpropagation And Improving It" @ NeurIPS 2021 https://arxiv.org/abs/2012.14905☆31Updated 3 years ago
- Scaling scaling laws with board games.☆45Updated last year
- ☆18Updated 8 months ago
- ☆55Updated 2 months ago
- Sparse and discrete interpretability tool for neural networks☆58Updated 11 months ago
- ☆58Updated 2 years ago
- ☆48Updated 11 months ago
- Learning Universal Predictors☆71Updated 5 months ago
- ARC gym: a data generation framework for the Abstraction & Reasoning Corpus☆18Updated 3 weeks ago
- Engineering the state of RNN language models (Mamba, RWKV, etc.)☆32Updated 7 months ago