(46) This theorem guarantees the safety of IRTD in the case of a single initial code under the deterministic assumption

FromD ⋆ c f ̸=∅andD ⋆ c f ⊆ V t, Vt ̸=∅

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

Fix Initial Programs and Iteratively Refine Repair Instructions Toward Non-Elimination Multi-Turn Program Correction

cs.LG · 2026-04-27

citing papers explorer

Showing 1 of 1 citing paper after filters.

Fix Initial Programs and Iteratively Refine Repair Instructions Toward Non-Elimination Multi-Turn Program Correction cs.LG · 2026-04-27 · unreviewed · ref 6