Type-Theoretic Formal Methods in AI Governance: Verification Substrates Within Authorization Frameworks
Edward MeymanFERZ, Inc
SSRN Electronic Journalrepository2026
ABI
Аннотация
Аннотация отсутствует.
Темы
Идентификаторы
Цитирования и источники
Цитирований: 0Использованных источников: 0