pentagonalize / Transformer-CookbookLinks
☆18Updated last year
Alternatives and similar repositories for Transformer-Cookbook
Users that are interested in Transformer-Cookbook are comparing it to the libraries listed below
Sorting:
- Language-annotated Abstraction and Reasoning Corpus☆99Updated 2 years ago
- DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …☆50Updated last year
- Tutorial on neural theorem proving☆177Updated 2 years ago
- A domain-specific probabilistic programming language for modeling and inference with language models☆141Updated 9 months ago
- An environment for learning formal mathematical reasoning from scratch☆72Updated last year
- Probabilistic programming with large language models☆159Updated 2 months ago
- Neural Networks and the Chomsky Hierarchy☆212Updated last year
- Silly twitter torch implementations.☆46Updated 3 years ago
- Mechanistic Interpretability for Transformer Models☆53Updated 3 years ago
- A scalable abstraction learning library☆84Updated 4 months ago
- An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"☆323Updated last year
- A python library to manipulate formal languages and various automata☆58Updated 5 months ago
- Python package for Sentential Decision Diagrams (SDD)☆71Updated last month
- Learning Universal Predictors☆81Updated last year
- LLMs + Lean, on your laptop or in the cloud☆199Updated 3 months ago
- Holographic Reduced Representations☆30Updated 2 months ago
- Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.☆59Updated 3 months ago
- NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)☆134Updated 3 years ago
- ☆44Updated 2 years ago
- Neural theorem proving tutorial, version II☆40Updated last year
- Minimum Description Length Recurrent Neural Networks☆18Updated 2 years ago
- List of papers and other resources at the intersection of Category Theory and NLP.☆55Updated 2 years ago
- Resources from the EleutherAI Math Reading Group☆54Updated 11 months ago
- Utilities for the HuggingFace transformers library☆74Updated 3 years ago
- ☆76Updated 3 years ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆23Updated 2 years ago
- ☆22Updated last year
- Notebooks accompanying Anthropic's "Toy Models of Superposition" paper☆135Updated 3 years ago
- ☆48Updated 10 months ago
- llmstep: [L]LM proofstep suggestions in Lean 4.☆145Updated 2 years ago