google-deepmind / neural_networks_solomonoff_induction
Learning Universal Predictors
☆76Updated 7 months ago
Alternatives and similar repositories for neural_networks_solomonoff_induction:
Users that are interested in neural_networks_solomonoff_induction are comparing it to the libraries listed below
- A domain-specific probabilistic programming language for modeling and inference with language models☆116Updated last year
- Materials for ConceptARC paper☆88Updated 3 months ago
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆61Updated 3 months ago
- ☆49Updated last year
- Evaluation of neuro-symbolic engines☆34Updated 7 months ago
- gzip Predicts Data-dependent Scaling Laws☆34Updated 9 months ago
- The history files when recording human interaction while solving ARC tasks☆97Updated last week
- Language-annotated Abstraction and Reasoning Corpus☆82Updated last year
- Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.☆48Updated 3 years ago
- Code to reproduce "Transformers Can Do Arithmetic with the Right Embeddings", McLeish et al (NeurIPS 2024)☆186Updated 9 months ago
- Probabilistic programming with HuggingFace language models☆100Updated last week
- Scaling scaling laws with board games.☆48Updated last year
- Universal Neurons in GPT2 Language Models☆27Updated 9 months ago
- Harmonic Datasets☆36Updated 7 months ago
- Repository for the paper Stream of Search: Learning to Search in Language☆138Updated last month
- A MAD laboratory to improve AI architecture designs 🧪☆105Updated 2 months ago
- ☆53Updated last year
- Bootstrapping ARC☆102Updated 3 months ago
- seqax = sequence modeling + JAX☆145Updated this week
- ☆61Updated 3 years ago
- Formal Contracts for Multi-Agent Reinforcement Learning☆16Updated last year
- ☆87Updated last month
- A package for defining deep learning models using categorical algebraic expressions.☆59Updated 7 months ago
- ☆52Updated 5 months ago
- ☆51Updated 9 months ago
- ☆40Updated 2 weeks ago
- Code for minimum-entropy coupling.☆31Updated 8 months ago
- LLMs + Lean, on your laptop or in the cloud☆138Updated 4 months ago
- ☆60Updated last month