Comment by freejazz
What is the repeatable method by which you came to that conclusion? That is what needs to be formalized for your response to make sense.
What is the repeatable method by which you came to that conclusion? That is what needs to be formalized for your response to make sense.
There are procedures for translating informal statements to formal ones. If I submit such informal statements to an LLM and ask it to generate a spec or program to achieve some result, that can be made repeatable. There are various arrangements to make this more robust, like having another LLM generate test cases to check the work of the other. Does this qualify?