|
|
|
|
|
|
by theGeatZhopa
372 days ago
|
|
|
What's needed is a formalization and that formalization to been trained on. In not sure if systemprompt alone is powerful enough to check and enforce input as definite and exact formalized expression(s). I don't think it will work out easily like "a programming language for LLM" - but you can always have a discussion with ol' lama |
|
|