News for hackers. Stuff that matters.

A comment on ProofOfThought: LLM-based reasoning using Z3 theorem proving. Parent comment

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 ]

There are no comments on this comment yet.