3 ms·

You will need a formal language first. Take this statement for example: >ChatGPT knows WebPPL really well What formal language can express this statement? Wh

by brap 11mo ago

You will need a formal language first. Take this statement for example: >ChatGPT knows WebPPL really well What formal language can express this statement? What will the text be parsed into? Which transformations can you use to produce other truthful (and interesting) statements from it? Is this flexible enough to capture everything that can be expressed in English? The closest that comes to mind is Prolog, but it doesn’t really come close.

nl 11mo ago
> 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)