←back to thread

Use Prolog to improve LLM's reasoning

(shchegrikovich.substack.com)
232 points shchegrikovich | 1 comments | 13 Oct 24 21:22 UTC | HN request time: 0s | source
Show context
YeGoblynQueenne ◴[17 Oct 24 21:53 UTC] No.41874200[source]▶
That's not going to work. Garbage in - Garbage out is success-set equivalent to Garbage in - Prolog out.

Garbage is garbage and failure to reason is failure to reason no matter the language. If your LLM can't translate your problem to a Prolog program that solves your problem- Prolog can't solve your problem.

replies(3): >>41874322 #>>41875551 #>>41876345 #
Philpax ◴[17 Oct 24 22:10 UTC] No.41874322[source]▶
This is a shallow critique that does not engage with the core idea. Specifying the problem is not the same as solving the problem.
replies(1): >>41874902 #
YeGoblynQueenne ◴[17 Oct 24 23:34 UTC] No.41874902[source]▶
I've programmed in Prolog for ~13 years and my PhD thesis is in machine learning of Prolog programs. How deep would you like me to go?
replies(2): >>41875047 #>>41875563 #
1. Philpax ◴[17 Oct 24 23:58 UTC] No.41875047{3}[source]▶
As deep as is required to actually make your argument!