Pinned Loading

1. CFaults CFaults Public

   CFaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases

   Python 1

2. LLM-CEGIS-Repair LLM-CEGIS-Repair Public

   AAAI 2025: Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization

   Python 7 1

3. MENTOR MENTOR Public

   MENTOR: Fixing Introductory Programming Assignments With Formula-Based Fault Localization and LLM-Driven Program Repair

   Python 1

4. squares-sql/SQUARES squares-sql/SQUARES Public

   A SQL and R Synthesizer Using Query Reverse Engineering

   Python 24 1

5. C-Pack-IPAs C-Pack-IPAs Public

   C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments (IPAs)

   C 9

6. MultIPAs MultIPAs Public

   MultIPAs: Applying Program Transformations to Introductory Programming Assignments for Data Augmentation

   C 3 1