AI and software engineer. Interested in far too many things, including but not limited to AI, software development, economics, philosophy, or psychology.
https://svana.name
I think there is one problem with defining acceptance criteria first: sometimes you don't know ahead of time what those criteria are. You need to poke around first to figure out what's possible and what matters. And sometimes the criteria are subjective, abstract, and cannot be formally specified.
Of course, this problem is more general than just improving the output of LLM coding tools