←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.253s | source
Show context
treetalker ◴[18 Oct 24 04:09 UTC] No.41876268[source]▶
Does anyone know why US attorneys and law firms are not using Prolog-based apps to automate the low-hanging fruit of issue-spotting?
replies(3): >>41877024 #>>41880729 #>>41881952 #
1. shchegrikovich ◴[18 Oct 24 07:10 UTC] No.41877024[source]▶
Or something like Catala language - https://catala-lang.org/? Catala: A Programming Language for the Law - https://arxiv.org/abs/2103.03198