ezyang / SMT-LIB-benchmarks-pytorch-shapesLinks
SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
☆18Updated 3 years ago
Alternatives and similar repositories for SMT-LIB-benchmarks-pytorch-shapes
Users that are interested in SMT-LIB-benchmarks-pytorch-shapes are comparing it to the libraries listed below
Sorting:
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆72Updated 7 months ago
- A translation validation framework for MLIR☆92Updated 10 months ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Updated 4 months ago
- Re-implementation of the TASO compiler using equality saturation☆139Updated 4 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- ☆16Updated 4 years ago
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆22Updated 2 years ago
- A enumerator for MLIR, relying on the information given by IRDL.☆22Updated last week
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆117Updated 5 months ago
- A source-to-source compiler for optimizing CUDA dynamic parallelism by aggregating launches☆15Updated 6 years ago
- Code released to accompany the ISCA paper: "T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware"☆28Updated 3 years ago
- ☆17Updated 2 years ago
- Torch Frontend for IREE☆25Updated 2 years ago
- sketches for egg: a flexible, high-performance e-graph library☆30Updated 3 months ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆70Updated 2 years ago
- Utilities for constructing a large dataset of LLVM IR☆25Updated 7 months ago
- compiling DSLs to high-level hardware instructions☆23Updated 3 years ago
- ☆41Updated 3 months ago
- A framework that helps implementing swizzle GPU kernels☆51Updated 5 years ago
- ☆21Updated 3 years ago
- An experimental ahead of time compiler for Relay.☆50Updated 5 years ago
- Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)☆40Updated 3 years ago
- ☆29Updated last month
- An IR for efficiently simulating distributed ML computation.☆32Updated 2 years ago
- BTOR2 MLIR project☆26Updated 2 years ago
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆117Updated 2 months ago
- A lightweight, Pythonic, frontend for MLIR☆80Updated 2 years ago
- A retargetable and extensible synthesis-based compiler for modern hardware architectures☆14Updated 2 months ago
- ☆11Updated 4 years ago
- ☆44Updated 2 months ago