wyt2000 / InverseCoderLinks
[AAAI 2025] The official code of the paper "InverseCoder: Unleashing the Power of Instruction-Tuned Code LLMs with Inverse-Instruct"(https://arxiv.org/abs/2407.05700).
☆14Updated last year
Alternatives and similar repositories for InverseCoder
Users that are interested in InverseCoder are comparing it to the libraries listed below
Sorting:
- ☆39Updated 5 months ago
- Repo-Level Code generation papers☆229Updated 3 weeks ago
- The repository for paper "DebugBench: "Evaluating Debugging Capability of Large Language Models".☆85Updated last year
- Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries☆67Updated last year
- The first large scale formally verified reasoning dataset for Verilog☆18Updated 7 months ago
- Reproducing R1 for Code with Reliable Rewards☆279Updated 8 months ago
- Official repository for our paper "FullStack Bench: Evaluating LLMs as Full Stack Coders"☆109Updated 8 months ago
- Must-read papers on Repository-level Code Generation & Issue Resolution 🔥☆234Updated 3 weeks ago
- DafnyBench: A Benchmark for Formal Software Verification☆52Updated last year
- [TOSEM'25] The official GitHub page for the survey paper "A Survey on Large Language Models for Code Generation".☆179Updated 6 months ago
- ☆17Updated 6 months ago
- Pip compatible CodeBLEU metric implementation available for linux/macos/win☆128Updated 9 months ago
- Making code edting up to 7.7x faster using multi-layer speculation☆24Updated 10 months ago
- Repository of LV-Eval Benchmark☆73Updated last year
- ☆57Updated last year
- ☆50Updated 4 months ago
- ☆46Updated last year
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆24Updated 7 months ago
- A collection of practical code generation tasks and tests in open source projects. Complementary to HumanEval by OpenAI.☆155Updated last year
- Neural Code Intelligence Survey 2024-25; Reading lists and resources☆279Updated 5 months ago
- A new benchmark of 118 ICPC problems for evaluating LLM reasoning in competitive coding, featuring realistic ICPC competition scenario, r…☆16Updated 7 months ago
- 🔥 How to efficiently and effectively compress the CoTs or directly generate concise CoTs during inference while maintaining the reasonin…☆64Updated 7 months ago
- Benchmark ClassEval for class-level code generation.☆145Updated last year
- ☆78Updated last year
- All-in-one benchmarking platform for evaluating LLM.☆15Updated 2 months ago
- A Comprehensive Benchmark for Software Development.☆124Updated last year
- Async pipelined version of Verl☆124Updated 9 months ago
- CRUXEval: Code Reasoning, Understanding, and Execution Evaluation☆163Updated last year
- Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…☆150Updated last year
- An Evolving Code Generation Benchmark Aligned with Real-world Code Repositories☆67Updated last year