reverie / arora-barak-complexityLinks
My solutions to problems in Arora & Barak's textbook Computational Complexity
☆16Updated 13 years ago
Alternatives and similar repositories for arora-barak-complexity
Users that are interested in arora-barak-complexity are comparing it to the libraries listed below
Sorting:
- DafnyBench: A Benchmark for Formal Software Verification☆45Updated 7 months ago
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆35Updated last year
- [COLM 2024] A Survey on Deep Learning for Theorem Proving☆197Updated 2 months ago
- Artifact repository for the paper "Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code", In P…☆49Updated 3 months ago
- Book reading☆15Updated 5 years ago
- Benchmark ClassEval for class-level code generation.☆145Updated 9 months ago
- ☆52Updated last year
- ☆52Updated last year
- Making code edting up to 7.7x faster using multi-layer speculation☆23Updated 5 months ago
- CRUXEval: Code Reasoning, Understanding, and Execution Evaluation☆151Updated 9 months ago
- XFT: Unlocking the Power of Code Instruction Tuning by Simply Merging Upcycled Mixture-of-Experts☆33Updated last year
- Repo-Level Code generation papers☆199Updated 3 weeks ago
- TritonBench: Benchmarking Large Language Model Capabilities for Generating Triton Operators☆70Updated last month
- ☆52Updated 2 weeks ago
- Automatic DNN generation for fuzzing and more☆136Updated 6 months ago
- AI for Mathematics (AI4Math) paper list☆173Updated 10 months ago
- PKU LaTeX☆60Updated 2 months ago
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆149Updated 2 weeks ago
- The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"☆99Updated 4 months ago
- Reproducing R1 for Code with Reliable Rewards☆243Updated 3 months ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆70Updated 2 years ago
- a data collection of related work: Toward Understanding Deep Learning Framework Bugs☆16Updated last year
- 日常事务 LaTeX 懒人包☆35Updated 2 years ago
- This is the tool released in the ASE'23 paper "Generative Type Inference for Python".☆27Updated last year
- Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries☆65Updated last year
- Bridge Megatron-Core to Hugging Face/Reinforcement Learning☆74Updated this week
- ☆37Updated 2 months ago
- NLocalSAT; Boosting Local Search with Solution Prediction☆18Updated 2 years ago
- The repository for paper "DebugBench: "Evaluating Debugging Capability of Large Language Models".☆80Updated last year
- Based on the R1-Zero method, using rule-based rewards and GRPO on the Code Contests dataset.☆17Updated 3 months ago