Ushbu ish iqtibos qilgan ishlar

4 ta ish

Ish: Type-Theoretic Formal Methods in AI Governance: Verification Substrates Within Authorization Frameworks

1. On the Impossibility of Observability-Based Authorization: A Formal Impossibility Result for Ex-Ante AI Governance

   Edward Meyman

   Preprint202617 iqtibos

   ABIABI:AkademIndex/2026.other.657718

2. edmeyman/4ts-standard: 5TS v1.2.1

   Edward Meyman

   BoshqaOAOchiq kirish202612 iqtibos

   ABIABI:AkademIndex/2026.other.921128

3. Observability Is Not Enforcement: A Doctrinal Framework for Distinguishing Compliance Instrumentation from Runtime Authorization in AI Governance Architectures (Working Paper v1.0)

   Edward Meyman

   MaqolaOAOchiq kirishEthics and Social Impacts of AIZenodo (CERN European Organization for Nuclear Research)20268 iqtibos

   ABIABI:AkademIndex/2026.article.000009

4. Verifiable AI Governance: The Five Tests Standard (5TS) and Proof-Carrying Decisions

   Edward Meyman

   PreprintOAOchiq kirish20268 iqtibos

   ABIABI:AkademIndex/2026.other.921130