Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving
by bhk on Saturday October 04, 2025 @11:54PM
(#45478720)
Re: "99% of the time" ... this is an ambiguous sample space. Soundness of results clearly depends on the questions being asked. For what set of questions does the 99% guarantee hold?
[ Parent
| on HN ]
There are no comments on this comment yet.