PyTorch implementation of algorithms in https://arxiv.org/abs/2207.09238
☆13May 3, 2023Updated 3 years ago
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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Python module for (local) Poisson-Nijenhuis calculus on Poisson manifolds☆15Oct 14, 2024Updated 2 years ago
- Curso de Geometría Analítica 1 y 2, Semestres 2020-1, 2020-2, 2022-1☆20Nov 24, 2021Updated 4 years ago
- 🔭 Search server to access data from various open access data publishers☆15Oct 15, 2026Updated 2 weeks ago
- ☆11Jan 20, 2025Updated last year
- This repository contains an implementation of a DCGAN and a SNGAN for image generation. More precisely, it is dedicated to artificial ima…☆15May 10, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- a set of navigation tools for KSP 2☆15Apr 15, 2024Updated 2 years ago
- Bitcoin integration/staging tree☆29Sep 20, 2026Updated last month
- SuNBEaM, (s)pectral (n)on-(b)acktracking (e)igenvalue pseudo-(m)etric, a topological graph distance☆17Jan 27, 2020Updated 6 years ago
- ☆15Jul 29, 2022Updated 4 years ago
- Bitcoin address validation☆18Oct 27, 2020Updated 6 years ago
- MATLAB code for solving the Euclidean Distance Matrix completion problem.☆10Nov 20, 2017Updated 8 years ago
- Firmware for the iSensor-SPI-Buffer (STM32F303) to enable full throughput buffered data capture on Analog Devices IMUs over SPI, USB (cli…☆10Nov 5, 2021Updated 4 years ago
- Example of an autoencoder set up for spectrograms, using Theano and Lasagne☆12Jan 13, 2016Updated 10 years ago
- CryptoJS is a growing collection of standard and secure cryptographic algorithms☆28Feb 16, 2014Updated 12 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A LaTeX thesis class conforming to NC State ETD guidelines☆13Jul 8, 2019Updated 7 years ago
- This is the repo for paper☆26Jun 5, 2025Updated last year
- Source Code for "Teaching Machine Comprehension with Compositional Explanations" (Findings of EMNLP 2020)☆10Dec 12, 2020Updated 5 years ago
- Python API to get information about COVID-19 in México.☆19May 22, 2023Updated 3 years ago
- ☆30Mar 15, 2024Updated 2 years ago
- Investigacion Operativa 2022 - UTN FRBA - Ingenieria Industrial - Repositorio con casos de estudio y ejercicios en python☆33Feb 20, 2023Updated 3 years ago
- BackTime: Backdoor Attacks on Multivariate Time Series Forecasting☆33Apr 14, 2025Updated last year
- En este proyecto de GitHhub podrás encontrar parte del material que utilizo para impartir las clases de Procesamiento de Lenguaje Natura…☆26Jun 12, 2023Updated 3 years ago
- Repositorio del curso de Redes neuronales, en la Facultad de Ciencias, UNAM.☆32Nov 4, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Example code to train a Graph Neural Network on the MNIST dataset in PyTorch for Digit Classification☆27Jan 6, 2020Updated 6 years ago
- [CVPR 2024] Generative Unlearning for Any Identity☆35Feb 19, 2025Updated last year
- DImensional Modeling of Emotions in Text with Appraisal Theories☆10Apr 27, 2023Updated 3 years ago
- Interactive examples using MATLAB to visualize and practice integral calculus including substitution, integration by parts, and the funda…☆16May 4, 2026Updated 5 months ago
- Implements several Markov chain Monte Carlo (MCMC) algorithms for the latent Dirichlet allocation (LDA) model☆11Feb 11, 2020Updated 6 years ago
- IBA: Towards Irreversible Backdoor Attacks in Federated Learning (Poster at NeurIPS 2023)☆40Sep 10, 2025Updated last year
- VisBERT: Demo web app for "How Does BERT Answer Questions?"☆11Jul 22, 2023Updated 3 years ago
- Analog Devices IMU/ADcmXL Evaluation GUI built on the iSensor-FX3-API (for EVAL-ADIS-FX3 board)☆14May 4, 2026Updated 5 months ago
- TyDiP Multilingual Politeness dataset and code☆12Oct 15, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- [CEUS] Contrastive Language-Location Pre-training☆28Aug 26, 2025Updated last year
- Materials for the "Recommender Systems through the lens of Decision Theory" tutorial delivered at the 30th Web Conference (WWW '21).☆11Apr 13, 2021Updated 5 years ago
- Evaluating and improving the faithfulness of the interpretations offered by Neural Module Networks☆13Jun 12, 2023Updated 3 years ago
- PyTorch implementation of GraphSAGE.☆31Sep 29, 2019Updated 7 years ago
- [TMLR 2022] Curvature access through the generalized Gauss-Newton's low-rank structure: Eigenvalues, eigenvectors, directional derivative…☆17Jul 19, 2023Updated 3 years ago
- ☆19May 16, 2023Updated 3 years ago
- This repo contains code for the paper "Psychologically-informed chain-of-thought prompts for metaphor understanding in large language mod…☆14Apr 28, 2023Updated 3 years ago