Graphically structured diffusion model.
☆21Jun 16, 2023Updated 2 years ago
Alternatives and similar repositories for gsdm
Users that are interested in gsdm are comparing it to the libraries listed below
Sorting:
- Sampling-Based Minimum Bayes-Risk Decoding for Neural Machine Translation☆16Oct 14, 2022Updated 3 years ago
- A dataset for training interactive plotting agent☆14Dec 8, 2022Updated 3 years ago
- ☆22Nov 26, 2024Updated last year
- Rust library for indexing and quickly searching large pretraining corpora☆31Oct 30, 2025Updated 4 months ago
- FPGA implementation of the hector_slam algorithm using only lidar data☆10Jul 3, 2022Updated 3 years ago
- Notes and handouts from OPLSS 2019☆35Jun 28, 2019Updated 6 years ago
- Multi-pass compiler and runtime for probabilistic programming.☆46Oct 24, 2025Updated 4 months ago
- ☆12Nov 22, 2024Updated last year
- Code implementing "Efficient Parallelization of a Ubiquitious Sequential Computation" (Heinsen, 2023)☆98Dec 5, 2024Updated last year
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- A model builder helper for creating graph neural networks akin to the ones described in https://arxiv.org/abs/1806.01261 and https://ie…☆12Apr 18, 2019Updated 6 years ago
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Dec 4, 2019Updated 6 years ago
- ☆15Oct 29, 2024Updated last year
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Aug 13, 2024Updated last year
- ☆11Feb 11, 2020Updated 6 years ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- Functional Linear Algebra with Block Matrices☆11Feb 17, 2022Updated 4 years ago
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 5 years ago
- The source code and the data for ACL 2022 paper "Show Me More Details: Discovering Hierarchies of Procedures from Semi-structured Web Dat…☆14Apr 21, 2023Updated 2 years ago
- The Synbols dataset generator is a ServiceNow Research project that was started at Element AI.☆45Jul 7, 2023Updated 2 years ago
- ☆10Mar 11, 2024Updated last year
- Generalized Optimal Transport Attention with Trainable Priors☆25Jan 25, 2026Updated last month
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- SymPy based framework for optimized code generation for BSSN formulation of Einstein equation for heterogeneous platforms.☆11Aug 18, 2025Updated 6 months ago
- Public accompanying repository for Universite de Montreal's IFT 6757: Autnonomous Vehicles, Fall 2019.☆12Jun 21, 2022Updated 3 years ago
- Time Integration Package☆11Dec 17, 2024Updated last year
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- Differentiable Tree Machine☆13Nov 3, 2023Updated 2 years ago
- Chocolatey packages for JetBrains products.☆15Sep 22, 2017Updated 8 years ago
- ☆10Aug 16, 2019Updated 6 years ago
- A simple demo that shows how WebWorkers can be used in Kotlin/JS☆10May 21, 2021Updated 4 years ago
- The official Languini Kitchen repository☆14May 6, 2024Updated last year
- Visual graph rewriting platform☆10Jun 3, 2025Updated 9 months ago
- Magic Wormhole for Haskell☆11Apr 23, 2024Updated last year
- Implementation of the BLIP messaging protocol, for iOS and Mac OS X☆14Mar 9, 2022Updated 4 years ago
- ☆11Oct 11, 2023Updated 2 years ago
- PyTorch implementation of TinyWASE described in our paper "Compressing Speaker Extraction Model with Ultra-low Precision Quantization and…☆11Jun 28, 2021Updated 4 years ago
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated 2 years ago