Search Results for author:
Found 6 papers, 3 papers with code
Graph Neural Networks For Mapping Variables Between Programs -- Extended Version
Typically, in order to compare two programs, a relation between both programs' sets of variables is required.
InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
Due to the vast number of students enrolled in Massive Open Online Courses (MOOCs), there has been an increasing number of automated program repair techniques focused on introductory programming assignments (IPAs).
C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
Due to the vast number of students enrolled in Massive Open Online Courses (MOOCs), there has been an increasing number of automated program repair techniques focused on introductory programming assignments (IPAs).
Fair and Adventurous Enumeration of Quantifier Instantiations
SMT solvers generally tackle quantifiers by instantiating their variables with tuples of terms from the ground part of the formula.
Learning Equational Theorem Proving
On these tasks, 3SIL is shown to significantly outperform several established RL and imitation learning methods.
Exploiting Resolution-based Representations for MaxSAT Solving
Usually, these MaxSAT algorithms perform better when small unsatisfiable subformulas are found early.
