https://cognaptus.com/tags/policy-reasoning/ Recent content in Policy Reasoning on Cognaptus Hugo -- 0.145.0 en-us Mon, 23 Feb 2026 00:00:00 +0000 https://cognaptus.com/blog/2026-02-23-from-prompts-to-proofs-when-language-becomes-an-smt-theory/ Mon, 23 Feb 2026 00:00:00 +0000 https://cognaptus.com/blog/2026-02-23-from-prompts-to-proofs-when-language-becomes-an-smt-theory/ A mechanism-first reading of Logitext, a framework that treats LLM-based text judgment as a solver-compatible theory rather than a final-answer machine.