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 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 5 years ago
- a set of navigation tools for KSP 2☆15Apr 15, 2024Updated 2 years ago
- SuNBEaM, (s)pectral (n)on-(b)acktracking (e)igenvalue pseudo-(m)etric, a topological graph distance☆17Jan 27, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Bitcoin address validation☆19Oct 27, 2020Updated 5 years ago
- Bitcoin integration/staging tree☆29May 11, 2026Updated 2 months ago
- BackTime: Backdoor Attacks on Multivariate Time Series Forecasting☆32Apr 14, 2025Updated last year
- ☆15Jul 29, 2022Updated 3 years ago
- Evaluation dataset for Neural Point-Based Graphics☆12Dec 10, 2019Updated 6 years ago
- MATLAB code for solving the Euclidean Distance Matrix completion problem.☆10Nov 20, 2017Updated 8 years ago
- ☆29Mar 15, 2024Updated 2 years ago
- Formalization of the Millennium Problems in Lean 4☆55Updated this week
- 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- This is the repo for paper☆26Jun 5, 2025Updated last year
- Example of an autoencoder set up for spectrograms, using Theano and Lasagne☆12Jan 13, 2016Updated 10 years ago
- Investigacion Operativa 2022 - UTN FRBA - Ingenieria Industrial - Repositorio con casos de estudio y ejercicios en python☆33Feb 20, 2023Updated 3 years ago
- 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 3 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 3 years ago
- CryptoJS is a growing collection of standard and secure cryptographic algorithms☆28Feb 16, 2014Updated 12 years ago
- Interactive examples using MATLAB to visualize and practice integral calculus including substitution, integration by parts, and the funda…☆16May 4, 2026Updated 2 months ago
- ☆16Jun 9, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Repositorio del curso de Redes neuronales, en la Facultad de Ciencias, UNAM.☆31Nov 4, 2023Updated 2 years ago
- [CVPR 2024] Generative Unlearning for Any Identity☆35Feb 19, 2025Updated last year
- Analog Devices IMU/ADcmXL Evaluation GUI built on the iSensor-FX3-API (for EVAL-ADIS-FX3 board)☆14May 4, 2026Updated 2 months ago
- Implements several Markov chain Monte Carlo (MCMC) algorithms for the latent Dirichlet allocation (LDA) model☆11Feb 11, 2020Updated 6 years ago
- VisBERT: Demo web app for "How Does BERT Answer Questions?"☆11Jul 22, 2023Updated 2 years ago
- ☆19May 16, 2023Updated 3 years ago
- A transformer model to predict pathogenic mutations☆12Jun 25, 2025Updated last year
- This is a working project for our youtube channel to follow along☆26Apr 13, 2025Updated last year
- IBA: Towards Irreversible Backdoor Attacks in Federated Learning (Poster at NeurIPS 2023)☆41Sep 10, 2025Updated 10 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- [TMLR 2022] Curvature access through the generalized Gauss-Newton's low-rank structure: Eigenvalues, eigenvectors, directional derivative…☆17Jul 19, 2023Updated 2 years ago
- 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
- 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
- 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.☆14Mar 13, 2023Updated 3 years ago
- Matlab implementation of the "MIMO PID tuning via iterated LMI restiction" by Boyd, Hast, and Astrom☆16May 19, 2020Updated 6 years ago