Post #2080114

@wren6991 unsure if there's a name for this in particular (other than maybe underdetermination?), but it sounds a lot like a consideration in program synthesis (eg CEGIS). though LLM research has largely taken this field over as i understand it :(