myazdani / formal-algorithms-for-transformers
PyTorch implementation of algorithms in https://arxiv.org/abs/2207.09238
☆13Updated last year
Alternatives and similar repositories for formal-algorithms-for-transformers:
Users that are interested in formal-algorithms-for-transformers are comparing it to the libraries listed below
- Analogous Safe-state Exploration (ASE) is an algorithm for provably safe and optimal exploration in MDPs with unknown, stochastic dynamic…☆11Updated 4 years ago
- Simplifying parsing of large jsonline files in NLP Workflows☆12Updated 3 years ago
- Experimental version of jxbz/agd implementing support for bias terms, affine parameters, transformers, etc.☆11Updated last year
- Code for our ICLR Trustworthy ML 2020 workshop paper "Improved Image Wasserstein Attacks and Defenses"☆14Updated 4 years ago
- Implementation of "Analysing Mathematical Reasoning Abilities of Neural Models"☆29Updated 2 years ago
- Investigate the speed of adaptation of structural causal models☆16Updated 4 years ago
- First-Order Probabilistic Programming Language☆28Updated 5 years ago
- A tutorial on JAX (https://github.com/google/jax/)☆46Updated 6 years ago
- Official implementation of the paper "Interventions, Where and How? Experimental Design for Causal Models at Scale", NeurIPS 2022.☆20Updated 2 years ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆16Updated 5 years ago
- This repo will be an effort to learn and implement some of the milestone papers and models in Deep Learning based language models.☆11Updated 2 years ago
- ☆18Updated last year
- Implements EvoNorms B0 and S0 as proposed in Evolving Normalization-Activation Layers.☆11Updated 5 years ago
- Automatic Integration for Neural Spatio-Temporal Point Process models (AI-STPP) is a new paradigm for exact, efficient, non-parametric inf…☆24Updated 6 months ago
- LaTeX source code for the slides☆23Updated 3 years ago
- Experiments on GPT-3's ability to fit numerical models in-context.☆14Updated 2 years ago
- Multithreaded elementwise algebra and random number generation☆8Updated last year
- Deep Critical Learning. Implementation of ProSelfLC, IMAE, DM, etc.☆31Updated 2 years ago
- A set of methods for finding an appropriate number of topics in a text collection☆16Updated last week
- Massively Parallel and Asynchronous Architecture for Logic-based AI☆41Updated 2 years ago
- Quasi-Newton Algorithm for Stochastic Optimization☆10Updated 2 years ago
- notebooks of cool EBM visualizations☆15Updated 4 years ago
- Neural Tangent Kernel (NTK) module for the scikit-learn library☆25Updated 6 months ago
- A visual labeling system implemented in Jupyter widgets.☆11Updated last year
- Accelerated Stochastic Power Iteration with Momentum☆9Updated 7 years ago
- ☆16Updated 8 years ago
- Evolution of Discrete data with Reinforcement Learning☆13Updated 5 years ago
- ☆10Updated 4 years ago
- A simple OpenAI Gym environment for Neural Architecture Search (NAS)☆30Updated 4 years ago
- McKernel: A Library for Approximate Kernel Expansions in Log-linear Time.☆13Updated 2 years ago