←back to thread

Use Prolog to improve LLM's reasoning

(shchegrikovich.substack.com)
379 points shchegrikovich | 1 comments | 13 Oct 24 21:22 UTC | HN request time: 0.229s | source
1. baq ◴[17 Oct 24 20:19 UTC] No.41873348[source]▶
Patiently waiting for z3-guided generation, but this is a welcome, if obvious, development. Results are a bit surprising and sound too optimistic, though.