[naasking]

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?

[freejazz]

What are the procedures? How do they apply?

[naasking]

https://en.wikipedia.org/wiki/Logic_translation

[freejazz]

So what would be the methods here?