tech-srl / RASP
An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"
☆301Updated 5 months ago
Alternatives and similar repositories for RASP:
Users that are interested in RASP are comparing it to the libraries listed below
- An interactive exploration of Transformer programming.☆258Updated last year
- Neural Networks and the Chomsky Hierarchy☆201Updated 10 months ago
- ☆521Updated last year
- Python library which enables complex compositions of language models such as scratchpads, chain of thought, tool use, selection-inference…☆202Updated last month
- ☆253Updated 2 years ago
- ☆338Updated 10 months ago
- Train very large language models in Jax.☆203Updated last year
- Language Modeling with the H3 State Space Model☆516Updated last year
- Emergent world representations: Exploring a sequence model trained on a synthetic task☆175Updated last year
- git extension for {collaborative, communal, continual} model development☆207Updated 3 months ago
- Formal to Formal Mathematics Benchmark☆327Updated last year
- [NeurIPS 2023] Learning Transformer Programs☆157Updated 9 months ago
- Implementation of Memorizing Transformers (ICLR 2022), attention net augmented with indexing and retrieval of memories using approximate …☆630Updated last year
- Swarm training framework using Haiku + JAX + Ray for layer parallel transformer language models on unreliable, heterogeneous nodes☆237Updated last year
- Named tensors with first-class dimensions for PyTorch☆321Updated last year
- Automatic gradient descent☆207Updated last year
- ☆211Updated 7 months ago
- Language-annotated Abstraction and Reasoning Corpus☆82Updated last year
- An environment for learning formal mathematical reasoning from scratch☆62Updated 6 months ago
- Legible, Scalable, Reproducible Foundation Models with Named Tensors and Jax☆545Updated this week
- Resources from the EleutherAI Math Reading Group☆52Updated 2 months ago
- Implementation of https://srush.github.io/annotated-s4☆483Updated 2 years ago
- Mechanistic Interpretability Visualizations using React☆232Updated 2 months ago
- Mechanistic Interpretability for Transformer Models☆49Updated 2 years ago
- ☆165Updated last year
- Implementation of the specific Transformer architecture from PaLM - Scaling Language Modeling with Pathways - in Jax (Equinox framework)☆186Updated 2 years ago
- ☆180Updated 2 years ago
- seqax = sequence modeling + JAX☆143Updated 7 months ago
- Tutorial on neural theorem proving☆165Updated last year
- Seminar on Large Language Models (COMP790-101 at UNC Chapel Hill, Fall 2022)☆310Updated 2 years ago