Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving
by Flere-Imsaho on Sunday October 05, 2025 @05:16PM
(#45485358)
Would you say it's more memorization than actual calculations? It certainly feels like it, when say riding a bike.
[ Parent
| on HN ]
There are no comments on this comment yet.