[ICSE'25] Aligning the Objective of LLM-based Program Repair
☆23Mar 8, 2025Updated last year
Alternatives and similar repositories for D4C
Users that are interested in D4C are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Jan 19, 2025Updated last year
- [NeurIPS'25] Official Implementation of RISE (Reinforcing Reasoning with Self-Verification)☆32Aug 8, 2025Updated 9 months ago
- A toolkit for testing and improving named entity recognition [ESEC/FSE'23]☆11Aug 31, 2023Updated 2 years ago
- A lightweight tool for detecting bugs on Graph Database Management Systems☆15Jan 9, 2024Updated 2 years ago
- [ESEC/FSE'23] Hue: A User-Adaptive Parser for Hybrid Logs☆10Aug 24, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A novel approach to improve the safety of large language models, enabling them to transition effectively from unsafe to safe state.☆72May 22, 2025Updated last year
- AutoLog: A Log Sequence Synthesis Framework for Anomaly Detection [ASE'23]☆40Feb 20, 2024Updated 2 years ago
- [ACL 2024 Findings] CriticBench: Benchmarking LLMs for Critique-Correct Reasoning☆31Mar 5, 2024Updated 2 years ago
- A toolkit for testing machine translation [ICSE'20, '21, ESEC/FSE'20]☆33Nov 15, 2021Updated 4 years ago
- MTTM: Metamorphic Testing for Textual Content Moderation Software☆32Feb 10, 2023Updated 3 years ago
- [ACL 2024] CodeAttack: Revealing Safety Generalization Challenges of Large Language Models via Code Completion☆60Oct 1, 2025Updated 7 months ago
- ✅SRepair: Powerful LLM-based Program Repairer with $0.029/Fixed Bug☆77Apr 23, 2026Updated last month
- Multilingual safety benchmark for Large Language Models☆54Sep 1, 2024Updated last year
- A bounded exhaustive testing tool☆23Jul 3, 2025Updated 10 months 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.
- NLRB data scraper by LexPredict☆12Dec 8, 2022Updated 3 years ago
- Code and data for the paper: Apathetic or Empathetic? Evaluating LLMs' Emotional Alignments with Humans☆121Jan 25, 2026Updated 4 months ago
- [NeurIPS 2024] Evaluation harness for SWT-Bench, a benchmark for evaluating LLM repository-level test-generation☆79Apr 28, 2026Updated last month
- Characterizing the natural language descriptions in software logging statements [ASE'18]☆17Dec 5, 2018Updated 7 years ago
- ☆11Updated this week
- Test equality between a black-box LLM API and a reference distribution☆17Oct 29, 2024Updated last year
- Train Ticket - A Benchmark Microservice System☆15May 2, 2026Updated 3 weeks ago
- [TOSEM 2023] A Survey of Learning-based Automated Program Repair☆75May 3, 2024Updated 2 years ago
- This repo is for anonymized review. We will keep updating and optimizing this program.☆16Oct 18, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆15Jan 7, 2023Updated 3 years ago
- A Terraform module to create and manage a Google Kubernetes Engine (GKE) Autopilot Cluster on Google Cloud Platform (GCP) https://cloud.g…☆10Nov 14, 2022Updated 3 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆56Jun 6, 2021Updated 4 years ago
- ☆26Sep 23, 2024Updated last year
- Your finetuned model's back to its original safety standards faster than you can say "SafetyLock"!☆11Oct 16, 2024Updated last year
- Battle-tested at Alibaba's scale. Hybrid architecture code review tool: deterministic pipelines + LLM Agent, precise line-level comments,…☆403Updated this week
- 台大Coursera 机器学习基石 林轩田☆16Nov 23, 2018Updated 7 years ago
- A Tool For Identifying The Clues To Online Service Anomalies☆13Nov 13, 2025Updated 6 months ago
- From Accuracy to Robustness: A Study of Rule- and Model-based Verifiers in Mathematical Reasoning.☆25Oct 7, 2025Updated 7 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Submission Guide + Discussion Board for AI Singapore Global Challenge for Safe and Secure LLMs (Track 1A).☆16Jul 4, 2024Updated last year
- LogShrink: Effective Log Compression by Leveraging Commonality and Variability of Log Data [ICSE'24 early]☆25Nov 14, 2023Updated 2 years ago
- (TIP 23) Boosting Night-time Scene Parsing with Learnable Frequency☆14Mar 6, 2026Updated 2 months ago
- Structure-Invariant Testing for Machine Translation [ICSE'20]☆16Dec 17, 2020Updated 5 years ago
- [WSDM 2026] LookAhead Tuning: Safer Language Models via Partial Answer Previews☆17Dec 14, 2025Updated 5 months ago
- A framework to evaluate the generalization capability of safety alignment for LLMs☆628Oct 9, 2025Updated 7 months ago
- [ICLR'25] OpenRCA: Can Large Language Models Locate the Root Cause of Software Failures?☆343Apr 14, 2026Updated last month