How can a non-programmer know if AI-generated code is correct?

The Iterative Assistant (IA) developed in this project explores ways of increasing confidence in the correctness of suggested code.

The tool guides the used towards a correct prompt by using automated test generation (or specification generation!) to find 'interesting' test cases and ask the user yes/no questions that will help to disambiguate the prompt and improve the generated code.