ProofOfThought: LLM-based reasoning using Z3 theorem proving

Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving by tonerow on Saturday October 04, 2025 @04:33PM (#45476452)

Cool research! I went to the repo to see what the DSL looked like but it was hard to find a clear example. It would be cool if you added a snippet to the README.

[ Parent | on HN ]

Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving by barthelomew on Saturday October 04, 2025 @04:47PM (#45476568)

Hey! Thank you for the interest! I shall do that. Meanwhile, check out Page 11 onwards. We describe a lot of situations! (https://arxiv.org/pdf/2409.17270)

[ Parent | on HN ]

Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving by pstoll on Saturday October 04, 2025 @08:18PM (#45477908)

Upvoting the comment that the gitrepo would be way more self stand-alone if it had an intro of the DSL.

[ Parent | on HN ]