4 ms·
Is this actually an implemented language? As far as I can tell, it's really just a large prompt template for ChatGPT + a very minimal TextMate grammar. The ta
by morgante 3y ago
Is this actually an implemented language?
As far as I can tell, it's really just a large prompt template for ChatGPT + a very minimal TextMate grammar.
The talk about constraint-solving and stuff all sounds great (in theory), but if you're just prompting an LLM to follow those constraints it will fail a lot.
- Der_Einzige 3y agoI assume they don’t, you can force constraints to be followed by manipulating the logits.