3 ms·
Perhaps there could be something like a formal language we could use to interface with the models, to help assuage the trickiness of natural language prompting.
by beepbooptheory 4y ago
Perhaps there could be something like a formal language we could use to interface with the models, to help assuage the trickiness of natural language prompting.
We could declare certain pieces of the prompt as "variables," and certain defined operations that have proven deterministic output as "functions." All so that what we want the computer to do can be rigorously defined and tested.
- throwuwu 4y agoYou can write your prompts in code or formal logic or whatever if you want, assuming you’re capable of expressing your meaning sufficiently clearly with those languages too.
- professoretc 4y agoBut the LLM won't interpret it formally; it doesn't know the semantics of any of the programming languages it can generate code for, it just "knows" that certain patterns occur more or less frequently. You can prompt it with invalid code and it will still sometimes give you a meaningful response.
- raincole 4y agoThat's the opposite of what made ChatGPT popular.