PyTorch implementation of algorithms in https://arxiv.org/abs/2207.09238
☆13May 3, 2023Updated 2 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☆14Oct 14, 2024Updated last year
- Curso de Geometría Analítica 1 y 2, Semestres 2020-1, 2020-2, 2022-1☆20Nov 24, 2021Updated 4 years ago
- 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 4 years ago
- SuNBEaM, (s)pectral (n)on-(b)acktracking (e)igenvalue pseudo-(m)etric, a topological graph distance☆16Jan 27, 2020Updated 6 years ago
- Bitcoin address validation☆19Oct 27, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- a set of navigation tools for KSP 2☆15Apr 15, 2024Updated last year
- ☆15Jul 29, 2022Updated 3 years ago
- BackTime: Backdoor Attacks on Multivariate Time Series Forecasting☆31Apr 14, 2025Updated 11 months ago
- Bitcoin integration/staging tree☆29Updated this week
- MATLAB code for solving the Euclidean Distance Matrix completion problem.☆10Nov 20, 2017Updated 8 years ago
- Evaluation dataset for Neural Point-Based Graphics☆12Dec 10, 2019Updated 6 years ago
- Formalization of the Millennium Problems in Lean 4☆45Jan 16, 2026Updated 2 months ago
- This is the repo for paper☆27Jun 5, 2025Updated 9 months ago
- Example of an autoencoder set up for spectrograms, using Theano and Lasagne☆12Jan 13, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- TyDiP Multilingual Politeness dataset and code☆12Oct 15, 2023Updated 2 years ago
- Python API to get information about COVID-19 in México.☆19May 22, 2023Updated 2 years ago
- Investigacion Operativa 2022 - UTN FRBA - Ingenieria Industrial - Repositorio con casos de estudio y ejercicios en python☆32Feb 20, 2023Updated 3 years ago
- CryptoJS is a growing collection of standard and secure cryptographic algorithms☆28Feb 16, 2014Updated 12 years ago
- ☆29Mar 15, 2024Updated 2 years ago
- Interactive examples using MATLAB to visualize and practice integral calculus including substitution, integration by parts, and the funda…☆16Oct 8, 2025Updated 5 months 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
- ☆16Mar 13, 2026Updated 2 weeks ago
- [CVPR 2024] Generative Unlearning for Any Identity☆35Feb 19, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Implements several Markov chain Monte Carlo (MCMC) algorithms for the latent Dirichlet allocation (LDA) model☆11Feb 11, 2020Updated 6 years ago
- 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 2 years ago
- VisBERT: Demo web app for "How Does BERT Answer Questions?"☆11Jul 22, 2023Updated 2 years ago
- ☆18May 16, 2023Updated 2 years ago
- A transformer model to predict pathogenic mutations☆12Jun 25, 2025Updated 9 months ago
- Analog Devices IMU/ADcmXL Evaluation GUI built on the iSensor-FX3-API (for EVAL-ADIS-FX3 board)☆13Jan 28, 2025Updated last year
- [TMLR 2022] Curvature access through the generalized Gauss-Newton's low-rank structure: Eigenvalues, eigenvectors, directional derivative…☆17Jul 19, 2023Updated 2 years ago
- This is a working project for our youtube channel to follow along☆23Apr 13, 2025Updated 11 months ago
- Repositorio del curso de Redes neuronales, en la Facultad de Ciencias, UNAM.☆31Nov 4, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Materials for the "Recommender Systems through the lens of Decision Theory" tutorial delivered at the 30th Web Conference (WWW '21).☆11Apr 13, 2021Updated 4 years ago
- Evaluating and improving the faithfulness of the interpretations offered by Neural Module Networks☆13Jun 12, 2023Updated 2 years ago
- IBA: Towards Irreversible Backdoor Attacks in Federated Learning (Poster at NeurIPS 2023)☆40Sep 10, 2025Updated 6 months ago
- This repo contains code for the paper "Psychologically-informed chain-of-thought prompts for metaphor understanding in large language mod…☆14Apr 28, 2023Updated 2 years ago
- Research code for "Towards multi-task learning of speech and speaker recognition" at https://arxiv.org/pdf/2302.12773.pdf☆12Dec 2, 2024Updated last year
- Takes a Google Scholar profile URL and outputs an html snippet to add to your website.☆13Mar 13, 2023Updated 3 years ago
- Matlab implementation of the "MIMO PID tuning via iterated LMI restiction" by Boyd, Hast, and Astrom☆16May 19, 2020Updated 5 years ago