Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs
Logic programs are a powerful approach for solving NP-Hard problems. However, due to
their declarative nature, debugging logic programs poses significant challenges. Unlike …
their declarative nature, debugging logic programs poses significant challenges. Unlike …
BatFix: Repairing language model-based transpilation
To keep up with changes in requirements, frameworks, and coding practices, software
organizations might need to migrate code from one language to another. Source-to-source …
organizations might need to migrate code from one language to another. Source-to-source …
Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection
Oracle-guided inductive synthesis (OGIS) is a widely-used framework to apply program
synthesis techniques in practice. The question selection problem aims at reducing the …
synthesis techniques in practice. The question selection problem aims at reducing the …
CUBES: a parallel synthesizer for SQL using examples
R Brancas, M Terra-Neves, M Ventura… - arXiv preprint arXiv …, 2022 - arxiv.org
In recent years, more people have seen their work depend on data manipulation tasks.
However, many of these users do not have the background in programming required to write …
However, many of these users do not have the background in programming required to write …
Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation
V Manquinho, R Martins - … Conference, FASE 2024, Held as Part …, 2024 - books.google.com
In recent years, more people have seen their work depend on data manipulation tasks.
However, many of these users do not have the background in programming required to write …
However, many of these users do not have the background in programming required to write …
[PDF][PDF] Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation
R Brancas, M Terra-Neves, M Ventura… - International …, 2024 - library.oapen.org
In recent years, more people have seen their work depend on data manipulation tasks.
However, many of these users do not have the background in programming required to write …
However, many of these users do not have the background in programming required to write …
[PDF][PDF] Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
Abstract Automated Program Repair (APR) for introductory programming assignments
(IPAS) is motivated by the large number of student enrollments in programming courses …
(IPAS) is motivated by the large number of student enrollments in programming courses …
[PDF][PDF] Program disambiguation using MaxSAT
Programming-by-example [1](PBE) is a field of program synthesis that has gained
increasing interest in recent years. One of the goals of PBE is to allow people with little …
increasing interest in recent years. One of the goals of PBE is to allow people with little …