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:
- CRUXEval: Code Reasoning, Understanding, and Execution Evaluation☆164Updated last year
- Training language models to make programs faster☆98Updated last year
- Code for the TMLR 2023 paper "PPOCoder: Execution-based Code Generation using Deep Reinforcement Learning"☆118Updated 2 years ago
- XFT: Unlocking the Power of Code Instruction Tuning by Simply Merging Upcycled Mixture-of-Experts☆35Updated last year
- Utilities for constructing a large dataset of LLVM IR☆25Updated 8 months ago
- TritonBench: Benchmarking Large Language Model Capabilities for Generating Triton Operators☆114Updated 7 months ago
- Automated DNN generation for fuzz testing and more☆143Updated last year
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆53Updated last year
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated 3 years ago
- A list of awesome neural symbolic papers.☆51Updated 3 years ago
- [NeurIPS '25] GSO: Challenging Software Optimization Tasks for Evaluating SWE-Agents☆63Updated this week
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Updated 3 months 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 8 months ago
- RepoQA: Evaluating Long-Context Code Understanding☆128Updated last year
- ☆83Updated last year
- [ICML '24] R2E: Turn any GitHub Repository into a Programming Agent Environment☆139Updated 9 months ago
- Python package for rematerialization-aware gradient checkpointing☆27Updated 2 years ago
- DafnyBench: A Benchmark for Formal Software Verification☆57Updated last year
- CrossCodeEval: A Diverse and Multilingual Benchmark for Cross-File Code Completion (NeurIPS 2023)☆170Updated 5 months ago
- EvoEval: Evolving Coding Benchmarks via LLM☆81Updated last year
- Artifact repository for the paper "Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code", In P…☆51Updated 9 months ago
- ☆42Updated last year
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆22Updated 2 years ago
- [NeurIPS'24] SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning☆26Updated last year
- A retargetable and extensible synthesis-based compiler for modern hardware architectures☆17Updated 2 months ago
- a data collection of related work: Toward Understanding Deep Learning Framework Bugs☆16Updated 2 years ago
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆32Updated 2 years ago
- ☆13Updated 2 years ago
- StepCoder: Improve Code Generation with Reinforcement Learning from Compiler Feedback☆74Updated last year