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
- Code for ICML 2021 paper: How could Neural Networks understand Programs?☆123Updated 3 months ago
- PKU LaTeX☆48Updated last month
- The MiniDecaf compilers.☆67Updated 4 years ago
- https://csstipendrankings.org☆203Updated last week
- ☆74Updated 2 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆69Updated last year
- ☆17Updated 3 years ago
- Automatic DNN generation for fuzzing and more☆127Updated last month
- DafnyBench: A Benchmark for Formal Software Verification☆22Updated 2 months ago
- Book reading☆14Updated 4 years ago
- Solutions to "Introduction to Models of Computation" of Nanjing University☆57Updated 6 years ago
- 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
- A hybrid partitioner based quantum circuit simulation system on GPU☆47Updated 2 years ago
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆28Updated 4 years ago
- ☆76Updated 6 months ago
- THU Bell on macOS☆28Updated 4 years ago
- Oh-My-Papers: a Hybrid Context-aware Paper Recommendation System☆25Updated last year
- 新燕园人的私人班车助手（非官方）。☆52Updated this week
- An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.☆12Updated last month
- This is a repository for graph theory course in USTC☆46Updated 2 years ago
- A repository sharing the literatures about large language models☆63Updated this week
- Benchmark ClassEval for class-level code generation.☆136Updated 3 months ago
- 实现南京大学标准配色方案和标识☆26Updated 2 years ago
- XFT: Unlocking the Power of Code Instruction Tuning by Simply Merging Upcycled Mixture-of-Experts☆29Updated 7 months ago
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆91Updated last week
- ☆14Updated 5 years ago
- A Mx-language compiler focused on backend optimization (Compiler Project of ACM class @ SJTU)☆9Updated 5 years ago
- Artifact repository for the paper "Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code", In P…☆43Updated 8 months ago
- My paper/code reading notes in Chinese☆46Updated 9 months ago