|
|
|
|
|
|
by llmslave2
154 days ago
|
|
|
I've seen some interesting work going the other way, having LLMs generate constraint solvers (or whatever the term is) in prolog and then feeding input to that. I can't remember the link but could be worthwhile searching for that. |
|
|