/top/
/new/
/best/
/ask/
/show/
/job/
^
slacker news
login
about
←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: 0.733s
|
source
1.
baq
◴[
17 Oct 24 20:19 UTC
]
No.
41873348
[source]
▶
>>41831735 (OP)
#
Patiently waiting for z3-guided generation, but this is a welcome, if obvious, development. Results are a bit surprising and sound too optimistic, though.
ID:
GO
↑