Retaining Repair Hypotheses for Cost-Aware Execution.

arXiv:2610.39410v1 Announce Type: new Abstract: Several corrections of an executable model can fit the same observations while predicting different execution outcomes. We study a repair-to-execution interface that retains compatible finite guard repairs, condi