Pinned Loading

1. LLM-CEGIS-Repair LLM-CEGIS-Repair Public

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

   Python 1

2. CFaults CFaults Public

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

   Python

3. squares-sql/SQUARES squares-sql/SQUARES Public

   A SQL and R Synthesizer Using Query Reverse Engineering

   Python 25 1

4. MultIPAs MultIPAs Public

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

   C 3 1

5. ecai23-GNNs-for-mapping-variables-between-programs ecai23-GNNs-for-mapping-variables-between-programs Public

   Code and data for "Graph Neural Networks For Mapping Variables Between Programs", ECAI 2023.

   Python 1

6. C-Pack-IPAs C-Pack-IPAs Public

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

   C 5