(shchegrikovich.substack.com)

232 points shchegrikovich | 1 comments | 13 Oct 24 21:22 UTC | HN request time: 0.202s | source

1. mise_en_place ◴[17 Oct 24 21:45 UTC] No.41874133[source]▶

I really enjoyed tinkering with languages like Prolog and Coq. Interactive theorem proving with LLMs would be awesome to try out, if possible.

Use Prolog to improve LLM's reasoning