> You will need a formal language first. No, that's the entire point! The LLM is the bridge between natural language and a formal specification. (WebPPL is a

> You will need a formal language first. No, that's the entire point! The LLM is the bridge between natural language and a formal specification. (WebPPL is a formal language btw. It's not unlike Prolog but is designed from the start to express lemmas probabilistically)