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 nakamoto_damacy on Saturday October 04, 2025 @08:51PM (#45478031)
Why is this being down voted? I believe the author acknowledged and responded. Anything wrong?
[ Parent | on HN ]

There are no comments on this comment yet.