pentagonalize / Transformer-CookbookLinks
☆18Updated 10 months ago
Alternatives and similar repositories for Transformer-Cookbook
Users that are interested in Transformer-Cookbook are comparing it to the libraries listed below
Sorting:
- DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …☆48Updated last year
- A domain-specific probabilistic programming language for modeling and inference with language models☆140Updated 7 months ago
- Mechanistic Interpretability for Transformer Models☆53Updated 3 years ago
- Language-annotated Abstraction and Reasoning Corpus☆98Updated 2 years ago
- Learning Universal Predictors☆81Updated last year
- Silly twitter torch implementations.☆46Updated 3 years ago
- Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.☆59Updated last month
- Neural Networks and the Chomsky Hierarchy☆212Updated last year
- A scalable abstraction learning library☆83Updated 3 months ago
- A python library to manipulate formal languages and various automata☆56Updated 3 months ago
- Utilities for the HuggingFace transformers library☆73Updated 2 years ago
- Python package for Sentential Decision Diagrams (SDD)☆70Updated last week
- Transformer Grammars: Augmenting Transformer Language Models with Syntactic Inductive Biases at Scale, TACL (2022)☆133Updated 3 weeks ago
- ☆21Updated last year
- Notebooks accompanying Anthropic's "Toy Models of Superposition" paper☆131Updated 3 years ago
- ☆44Updated 2 years ago
- CausalGym: Benchmarking causal interpretability methods on linguistic tasks☆51Updated last year
- EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages☆24Updated 5 years ago
- Probabilistic programming with large language models☆154Updated last month
- ☆15Updated 2 years ago
- An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"☆322Updated last year
- Residual Quantization Autoencoder, used for interpreting LLMs☆13Updated 11 months ago
- ☆112Updated 10 months ago
- Neural theorem proving tutorial, version II☆40Updated last year
- ☆46Updated 9 months ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆22Updated 2 years ago
- Holographic Reduced Representations☆27Updated 3 weeks ago
- An environment for learning formal mathematical reasoning from scratch☆71Updated last year
- ☆72Updated 3 years ago
- Tools for studying developmental interpretability in neural networks.☆117Updated 6 months ago