[ICSE 2026] [ACM SIGSOFT Distinguished Paper Award] SWE-Synth: Synthesizing Verifiable Bug-Fix Data to Enable Large Language Models in Resolving Real-World Bugs
☆21Apr 22, 2025Updated last year
Alternatives and similar repositories for SWE-Synth
Users that are interested in SWE-Synth are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- New testbed of interactive SWE tasks for coding agents, set in a realistic multi-turn developer driven environment☆24Jun 30, 2026Updated last month
- Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019☆10Jul 6, 2023Updated 3 years ago
- Project Euler GPT Resolver☆10Feb 12, 2024Updated 2 years ago
- ☆14Jun 10, 2025Updated last year
- ☆13May 27, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Packaged TResNet based on Official PyTorch Implementation☆15Oct 26, 2020Updated 5 years ago
- collection of work pertinent to integrating Roberta with fastai:☆11Nov 11, 2020Updated 5 years ago
- ☆21May 30, 2025Updated last year
- Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware☆13Mar 6, 2024Updated 2 years ago
- ☆55May 3, 2026Updated 3 months ago
- Detecting Concurrency Memory Corruption Vulnerabilities (ESEC/FSE 2019)☆15Dec 5, 2023Updated 2 years ago
- Official code implementation for the ACL 2025 paper: 'Dynamic Scaling of Unit Tests for Code Reward Modeling'☆27May 16, 2025Updated last year
- ⚒️ Tree-sitter custom toolkit for extracting function and class from raw source file☆53Jul 1, 2024Updated 2 years ago
- ☆23May 7, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- SWE-Exp: Experience-Driven Software Issue Resolution☆42Oct 17, 2025Updated 9 months ago
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆19Oct 5, 2021Updated 4 years ago
- A swarm of intelligent agents, in a shared environment, works together in an organized and purposeful manner to build results (discover v…☆24Apr 10, 2026Updated 4 months ago
- The first blockchain to support both the EVM and Ewasm virtual machines for current and next-gen Ethereum. Based on the CyberMiles blockc…☆16Dec 23, 2021Updated 4 years ago
- Multi-Agent Verification: Scaling Test-Time Compute with Multiple Verifiers☆33Mar 1, 2025Updated last year
- [FORGE 2025] Graph-based method for end-to-end code completion with context awareness on repository☆74Sep 3, 2024Updated last year
- ☆57Apr 4, 2025Updated last year
- FrontierSmith, a new system that uses AI to synthesize open-ended coding problems at scale☆50May 30, 2026Updated 2 months ago
- RES-Q: Evaluating the Code-Editing Capability of Large Language Model Systems at the Repository Scale☆28Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- [NAACL 2025] Benchmark for Repository-Level Code Generation, focus on Executability, Correctness from Test Cases and Usage of Contexts fr…☆46Jan 8, 2026Updated 7 months ago
- ☆25Jun 16, 2026Updated last month
- Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages☆27Mar 18, 2026Updated 4 months ago
- CodeOCR: On the Effectiveness of Vision Language Models in Code Understanding [ISSTA 2026]☆30Feb 2, 2026Updated 6 months ago
- ☆10Aug 25, 2020Updated 5 years ago
- My fork os allen AI's OLMo for educational purposes.☆28Dec 5, 2024Updated last year
- ☆14Mar 6, 2025Updated last year
- ☆53Apr 9, 2025Updated last year
- Source code and data for the paper "Towards String-to-Tree Neural Machine Translation"☆16Dec 31, 2017Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ESEC/FSE'21: Prediction-Preserving Program Simplification☆10Oct 4, 2022Updated 3 years ago
- Implementation of Attention-based Fusion for Multi-source Human Image Generation, S. Lathuilière, E. Sangineto, A. Siarohin, N. Sebe, WAC…☆10Oct 9, 2020Updated 5 years ago
- Runtime verification tool for Solidity smart contracts.☆33Mar 29, 2023Updated 3 years ago
- ☆49May 9, 2024Updated 2 years ago
- ☆33Mar 31, 2023Updated 3 years ago
- IT jobs in South Korea☆10Jul 5, 2016Updated 10 years ago
- Probabilistic Itemset Mining☆19Jun 22, 2016Updated 10 years ago