Type-Theoretic Formal Methods in AI Governance: Verification Substrates Within Authorization Frameworks
Edward MeymanFerro (United States)
SSRN Electronic Journalrepository2026
Ochiq kirishYashil
ABI
Annotatsiya
Annotatsiya mavjud emas.
Mavzular
Identifikatorlar
Iqtiboslar va manbalar
0 ta iqtibos0 ta foydalanilgan manba