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
- 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.
- Bitcoin integration/staging tree☆29Aug 1, 2026Updated last week
- ☆15Jul 29, 2022Updated 4 years ago
- Bitcoin address validation☆19Oct 27, 2020Updated 5 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
- 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
- This is the repo for paper☆26Jun 5, 2025Updated last year
- ☆30Mar 15, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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
- 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 3 months ago
- BackTime: Backdoor Attacks on Multivariate Time Series Forecasting☆32Apr 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.☆31Nov 4, 2023Updated 2 years ago
- Analog Devices IMU/ADcmXL Evaluation GUI built on the iSensor-FX3-API (for EVAL-ADIS-FX3 board)☆14May 4, 2026Updated 3 months 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.
- [CVPR 2024] Generative Unlearning for Any Identity☆35Feb 19, 2025Updated last year
- 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 3 years ago
- ☆19May 16, 2023Updated 3 years ago
- A transformer model to predict pathogenic mutations☆12Jun 25, 2025Updated last year
- [TMLR 2022] Curvature access through the generalized Gauss-Newton's low-rank structure: Eigenvalues, eigenvectors, directional derivative…☆17Jul 19, 2023Updated 3 years ago
- IBA: Towards Irreversible Backdoor Attacks in Federated Learning (Poster at NeurIPS 2023)☆41Sep 10, 2025Updated 10 months 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
- 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.
- 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
- ROCK Framework for Commonsense Causality Reasoning (CCR)☆10Jun 28, 2023Updated 3 years ago
- ☆15Oct 19, 2020Updated 5 years ago
- ☆10Aug 13, 2020Updated 5 years ago