LearningOpt / pieLinks
☆57Updated last year
Alternatives and similar repositories for pie
Users that are interested in pie are comparing it to the libraries listed below
Sorting:
- TritonBench: Benchmarking Large Language Model Capabilities for Generating Triton Operators☆100Updated 6 months ago
- Training language models to make programs faster☆97Updated last year
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated 3 years ago
- CRUXEval: Code Reasoning, Understanding, and Execution Evaluation☆163Updated last year
- ☆21Updated 3 years ago
- Code for the TMLR 2023 paper "PPOCoder: Execution-based Code Generation using Deep Reinforcement Learning"☆118Updated 2 years ago
- Utilities for constructing a large dataset of LLVM IR☆25Updated 7 months ago
- a data collection of related work: Toward Understanding Deep Learning Framework Bugs☆16Updated 2 years ago
- XFT: Unlocking the Power of Code Instruction Tuning by Simply Merging Upcycled Mixture-of-Experts☆35Updated last year
- ☆79Updated last year
- A list of awesome neural symbolic papers.☆50Updated 3 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆70Updated 2 years ago
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆99Updated 7 months ago
- [ICML '24] R2E: Turn any GitHub Repository into a Programming Agent Environment☆138Updated 8 months ago
- Automatic DNN generation for fuzzing and more☆142Updated 11 months ago
- Building the Virtuous Cycle for AI-driven LLM Systems☆112Updated this week
- Python package for rematerialization-aware gradient checkpointing☆27Updated 2 years ago
- RepoQA: Evaluating Long-Context Code Understanding☆127Updated last year
- [ICLR 2025] TidalDecode: A Fast and Accurate LLM Decoding with Position Persistent Sparse Attention☆50Updated 5 months ago
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆51Updated last year
- ☆49Updated 7 months ago
- ☆13Updated 2 years ago
- Sirius, an efficient correction mechanism, which significantly boosts Contextual Sparsity models on reasoning tasks while maintaining its…☆21Updated last year
- [NeurIPS '25] GSO: Challenging Software Optimization Tasks for Evaluating SWE-Agents☆60Updated 2 weeks ago
- A source-to-source compiler for optimizing CUDA dynamic parallelism by aggregating launches☆15Updated 6 years ago
- EvoEval: Evolving Coding Benchmarks via LLM☆80Updated last year
- Making code edting up to 7.7x faster using multi-layer speculation☆24Updated 10 months ago
- xCodeEval: A Large Scale Multilingual Multitask Benchmark for Code Understanding, Generation, Translation and Retrieval☆87Updated last year
- Hydragen: High-Throughput LLM Inference with Shared Prefixes☆45Updated last year
- Autocomp: AI-Driven Code Optimizer for Tensor Accelerators☆59Updated this week