Probeable Problems ICER 2024

홈페이지 · 논문 1편

* Functionally correct (ok) and incorrect (buggy) solutions to five Probleable Problems: http://arxiv.org/abs/2405.15123 * The ok solutions correspond to attempts that successfully probed *all* ambiguities in the given specification; the buggy solutions represent attempts that addressed these ambiguities partially * A more nuanced analysis (beyond ok/buggy) of these attempts may reveal greater insights