A guidance language for controlling LLMs
I like this step towards greater rigor when working with LLM's. But part of me can't help but feel like this is essentially reinventing the concept of programming languages: formal and precise syntax to perform specific tasks with guarantees.I wonder where the final balance will end up between the ease and flexibility of everyday language, and the precision / guarantees of a formally specified language.