konstantinosKokos / apeLinks
๐งฎ Algebraic Positional Encodings.
โ14Updated 5 months ago
Alternatives and similar repositories for ape
Users that are interested in ape are comparing it to the libraries listed below
Sorting:
- Source code for the paper "Positional Attention: Expressivity and Learnability of Algorithmic Computation"โ14Updated 3 weeks ago
- Engineering the state of RNN language models (Mamba, RWKV, etc.)โ32Updated last year
- The Energy Transformer block, in JAXโ58Updated last year
- Implementation of Spectral State Space Modelsโ16Updated last year
- โ32Updated 8 months ago
- โ13Updated 3 weeks ago
- Repo for solving arc problems with an Neural Cellular Automataโ16Updated last month
- Minimum Description Length probing for neural network representationsโ18Updated 4 months ago
- โ17Updated 10 months ago
- Official repository for the paper "Exploring the Promise and Limits of Real-Time Recurrent Learning" (ICLR 2024)โ10Updated 2 weeks ago
- โ18Updated last year
- โ11Updated 4 months ago
- PyTorch implementation for "Long Horizon Temperature Scaling", ICML 2023โ20Updated 2 years ago
- Source-to-Source Debuggable Derivatives in Pure Pythonโ15Updated last year
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandiโฆโ26Updated last week
- JAX implementation of "Fine-Tuning Language Models with Just Forward Passes"โ19Updated 2 years ago
- โ21Updated 8 months ago
- RWKV model implementationโ38Updated last year
- Code for GFlowNet-EM, a novel algorithm for fitting latent variable models with compositional latents and an intractable true posterior.โ40Updated last year
- โ32Updated last year
- Fast singularity detection with kernelโ33Updated last year
- PyTorch implementation for "Probabilistic Circuits for Variational Inference in Discrete Graphical Models", NeurIPS 2020โ17Updated 3 years ago
- โ29Updated 2 months ago
- โ13Updated last week
- Differentiable Euler Characteristic Transformโ17Updated last year
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"โ12Updated 4 years ago
- A programming language for formal/informal computation.โ41Updated 2 months ago
- โ27Updated last year
- โ32Updated last year
- Blog postโ17Updated last year