myazdani / formal-algorithms-for-transformersView external linksLinks
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
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☆19Nov 24, 2021Updated 4 years ago
- TyDiP Multilingual Politeness dataset and code☆12Oct 15, 2023Updated 2 years ago
- ☆15Updated this week
- ☆12Mar 13, 2025Updated 11 months ago
- A python library for making API calls to Bonsai BRAIN.☆14Oct 6, 2022Updated 3 years ago
- Nuod (Numerical Odin) is an Odin library for creating and manipulating numerical multi-dimensional arrays.☆19Nov 15, 2025Updated 3 months ago
- A transformer model to predict pathogenic mutations☆12Jun 25, 2025Updated 7 months ago
- MATLAB code for solving the Euclidean Distance Matrix completion problem.☆10Nov 20, 2017Updated 8 years ago
- Feel the Vibes☆13Feb 26, 2025Updated 11 months ago
- A collection of handy tools such as adding Key & BPM to your music library☆15Mar 8, 2023Updated 2 years ago
- ☆14Feb 2, 2025Updated last year
- Towards Automated Causal Discovery☆11Aug 20, 2024Updated last year
- ☆10Nov 11, 2016Updated 9 years ago
- Here I show how to use Deep Learning for biological and biomedical Data Integration.☆11Sep 17, 2020Updated 5 years ago
- ☆11Oct 1, 2021Updated 4 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
- 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
- Changes in this fork has been merged to upstream.☆16Jun 10, 2025Updated 8 months ago
- Bag-of-features image classification using OpenCV☆12Sep 25, 2013Updated 12 years ago
- Repository for paper Decrypting Cryptic Crosswords☆10Jan 15, 2022Updated 4 years ago
- ☆10Dec 21, 2024Updated last year
- Experiments for recognising textual entailment☆14Oct 12, 2012Updated 13 years ago
- Evaluation dataset for Neural Point-Based Graphics☆12Dec 10, 2019Updated 6 years ago
- A web enabled system monitor for NVIDIA Jetson Development Kits☆18Nov 20, 2024Updated last year
- Javascript tool for animation of linear physical systems☆16Aug 2, 2016Updated 9 years ago
- ☆13Dec 31, 2025Updated last month
- Fast, Minimal and generic Fuzzy Search Index☆13Jun 18, 2025Updated 7 months ago
- A custom backend for 'Dear ImGui' written in Odin☆20Nov 20, 2025Updated 2 months ago
- ☆13Jul 8, 2024Updated last year
- A project to translate the Voynich Manuscript into English☆11Jun 30, 2023Updated 2 years ago
- ☆13Aug 7, 2023Updated 2 years ago
- Base definition of rk-boot plugins. rk-boot is a library to start goLang microservice from YAML☆11Jul 15, 2024Updated last year
- Operator overloading for vector matrix operation using Intel SIMD SSE/SSE2/SSE3 instructions written in Free Pascal☆10Jul 15, 2019Updated 6 years ago
- [COLM 2025: 1st Workshop on the Application of LLM Explainability to Reasoning and Planning] Latent Chain-of-Thought? Decoding the Depth-…☆17Oct 4, 2025Updated 4 months ago
- ☆11Jun 12, 2024Updated last year
- Odin bindings for Native File Dialog Extended☆11Dec 21, 2024Updated last year
- Resources, tools, and assets for Ignition by Inductive Automation 🛠️☆14Nov 12, 2024Updated last year
- Exploring the relationships in the historical data of weather, wind generated electricity and electricity demand. Base on the analysis, u…☆13Oct 12, 2021Updated 4 years ago