reverie / arora-barak-complexity
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:
- Book reading☆15Updated 4 years ago
- ☆75Updated 2 years ago
- TritonBench: Benchmarking Large Language Model Capabilities for Generating Triton Operators☆37Updated 2 months ago
- https://csstipendrankings.org☆207Updated 3 weeks ago
- 新燕园人的私人班车助手(非官方)。☆55Updated 2 months ago
- ☆18Updated 3 years ago
- DafnyBench: A Benchmark for Formal Software Verification☆32Updated 5 months ago
- a data collection of related work: Toward Understanding Deep Learning Framework Bugs☆15Updated last year
- ☆50Updated 9 months ago
- ☆51Updated last year
- LaTeX thesis template for CS undergraduates, Fudan University, 2022☆18Updated 9 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 last month
- XFT: Unlocking the Power of Code Instruction Tuning by Simply Merging Upcycled Mixture-of-Experts☆31Updated 10 months ago
- Latex Template for Undergraduate Thesis at School of EECS, Peking University☆41Updated 2 years ago
- ☆76Updated 8 months ago
- Code for ICML 2021 paper: How could Neural Networks understand Programs?☆124Updated 6 months ago
- ☆101Updated 5 years ago
- 日常事务 LaTeX 懒人包☆35Updated 2 years ago
- The MiniDecaf compilers.☆67Updated 4 years ago
- Making code edting up to 7.7x faster using multi-layer speculation☆20Updated 2 months ago
- MS108 Course Project, SJTU ACM Class.☆31Updated 2 years ago
- [NeurIPS'24] SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning☆22Updated 5 months ago
- Training language models to make programs faster☆88Updated last year
- PKU LaTeX☆53Updated last month
- Benchmark ClassEval for class-level code generation.☆143Updated 6 months ago
- ☆24Updated last month
- Graphiler is a compiler stack built on top of DGL and TorchScript which compiles GNNs defined using user-defined functions (UDFs) into ef…☆61Updated 2 years ago
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆28Updated 4 years ago
- Open test cases of PKU compiler course.☆25Updated 3 years ago
- My Curriculum Vitae☆62Updated 3 years ago