Mechanized Foundations of Structural Governance: Machine-Checked Proofs for Governed Intelligence 文章

ArXiv CS.AI2026-05-27NEWSen作者: Alan L. McCann
查看原文 →
关系图谱

Mechanized Foundations of Structural Governance: Machine-Checked Proofs for Governed Intelligence · 相关技术

相关技术

ORMODEPLA递归自我改进safetydivide-and-conquer partitioningUCTTeraStraight-Through EstimatorSULSAFEReferring expression comprehension (REC)Parts-of-Speech (POS) tagsMaliMITMECForFFIEFICamouflaged object detectionANNMac