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 Barbing on Wednesday October 15, 2025 @12:03AM (#45587959)
Ah interesting thanks!
[ Parent | on HN ]

There are no comments on this comment yet.