CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that enables in-depth analysis of the results.
☆46Feb 18, 2026Updated 8 months ago
Alternatives and similar repositories for CodeMind
Users that are interested in CodeMind are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆19Apr 15, 2024Updated 2 years ago
- ☆11Jul 20, 2021Updated 5 years ago
- Cascade Speculative Drafting☆33Apr 2, 2024Updated 2 years ago
- ☆14May 16, 2024Updated 2 years ago
- ☆33Jul 6, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Ungrafting Malicious Code from Piggybacked Android Apps☆14Sep 27, 2016Updated 10 years ago
- [S&P'24] Test-Time Poisoning Attacks Against Test-Time Adaptation Models☆21Feb 18, 2025Updated last year
- A learning-guided approach for executing arbitrary Python code snippets☆16Mar 4, 2024Updated 2 years ago
- MODIT: On Multi-Modal Learning of Editing Source Code.☆20Apr 24, 2021Updated 5 years ago
- ☆19Nov 12, 2025Updated 11 months ago
- DiffSearch is a search engine for code changes. The input is a query that describes a code change and the output is a list of matching co…☆20Feb 9, 2024Updated 2 years ago
- Supervised Local Modeling for Interpretability☆29Oct 27, 2018Updated 8 years ago
- Master's Thesis: Test-Driven AI Development - Minimizing code regressions in AI agents using TDD and GraphRAG☆17Mar 18, 2026Updated 7 months ago
- An empirical study on patch correctness☆15Nov 5, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆43Jul 13, 2026Updated 3 months ago
- ☆10Dec 11, 2024Updated last year
- Implementation of mixed language project compilation via Bazel platform.☆17Oct 10, 2020Updated 6 years ago
- An implementation of LazyLLM token pruning for LLaMa 2 model family.☆13Jan 6, 2025Updated last year
- Neural Program Repair with Execution-based Backpropagation http://arxiv.org/pdf/2105.04123☆25Dec 19, 2022Updated 3 years ago
- ☆66Sep 13, 2025Updated last year
- CrossCodeEval: A Diverse and Multilingual Benchmark for Cross-File Code Completion (NeurIPS 2023)☆184Aug 15, 2025Updated last year
- ☆11Dec 23, 2018Updated 7 years ago
- ☆133Jul 14, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆13Apr 21, 2024Updated 2 years ago
- "Scalable Approaches for Test Suite Reduction" online material.☆11Feb 5, 2021Updated 5 years ago
- This project called implements the mechanism described in the PromptBreeder paper for automatic optimization of prompts.☆11Sep 27, 2024Updated 2 years ago
- https://nnsmith-asplos.rtfd.io Artifact of "NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers" ASPLOS'23☆11Mar 29, 2023Updated 3 years ago
- [NeurIPS'24] SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning☆32Nov 19, 2024Updated last year
- ☆13Jul 8, 2023Updated 3 years ago
- ☆17Oct 16, 2024Updated 2 years ago
- tart: tensor abstracted relations and topologies☆11Jul 5, 2024Updated 2 years ago
- Wasabi is a toolkit designed to isolate and trigger retry bugs by combining static program analysis, large language models (LLMs), fault …☆10Oct 8, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Collections of research, benchmarks and tools towards more robust and reliable language models for code; LM4Code; LM4SE; reliable LLM; L…☆31Dec 14, 2023Updated 2 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 3 years ago
- ☆33Oct 2, 2025Updated last year
- ☆13May 19, 2024Updated 2 years ago
- Microsoft question-answering dataset☆10Jun 16, 2023Updated 3 years ago
- For our ICSE21 paper "CURE: Code-Aware Neural Machine Translation for Automatic Program Repair" by Nan Jiang, Thibaud Lutellier, and Lin …☆58Dec 8, 2022Updated 3 years ago
- Fast and Precise On-the-fly Patch Validation for All☆10Feb 24, 2023Updated 3 years ago