@regehr I’m not an expert so if this is too ignorant feel free to just ignore, but I thought with CEGIS kind of techniques LLMs just fill in a “previously missing piece” of how to reasonably pick something to inject to make progress — template based injection was very bespoke and domain specific.

@cdleary @regehr that was "sketches". CEGIS is just "here's a counterexample for what i asked for, make it work on this case too"

@lenary @cdleary right. imo, sketches were a nice idea for certain domains, but in compiler domains where I work, sketches were never even slightly useful.

@regehr @lenary got it, IIRC the peephole work was more “find existence of an improvement and generalize as much as possible” which I imagine is a totally different angle, thanks for the correction, I remember thinking it was super cool!