https://cognaptus.com/tags/reasoning-reliability/ Recent content in Reasoning-Reliability on Cognaptus Hugo -- 0.145.0 en-us Fri, 18 Sep 2026 00:00:00 +0000 https://cognaptus.com/blog/2026-09-18-the-right-answer-is-not-a-proof-put-verification-inside-the-reasoning-loop/ Fri, 18 Sep 2026 00:00:00 +0000 https://cognaptus.com/blog/2026-09-18-the-right-answer-is-not-a-proof-put-verification-inside-the-reasoning-loop/ PRoSFI shows how machine-checkable intermediate reasoning can raise measured soundness without requiring a language model to generate full formal proofs.