Type-Theoretic Formal Methods in AI Governance: Verification Substrates Within Authorization Frameworks
Edward MeymanFERZ, Inc
SSRN Electronic Journalrepository2026
ABI
Annotatsiya
Annotatsiya mavjud emas.
Mavzular
Identifikatorlar
Iqtiboslar va manbalar
0 ta iqtibos0 ta foydalanilgan manba