# verification
標記為「verification」的 6 篇文章
模型竄改偵測
偵測模型檔案竄改:權重雜湊驗證、架構驗證、適配器檢查、量化驗證,以及供應鏈完整性檢查。
tamperingintegrityverificationsupply-chain
模型完整性驗證
驗證模型完整性並偵測已部署模型未授權修改的方法。
ai-forensicsmodel-integrityverificationtamper-detection
模型簽章與驗證
模型簽章與驗證機制,包含 Sigstore、模型雜湊與部署時驗證。
supply-chainsigningverificationsigstoresbomprovenancenistdefense
Formal Verification Limits 實驗室
探索the limits of formal verification for neural network behavior與identify gaps exploitable by adversaries.
labexpertformalverificationlabslimits
輸出基準對齊與驗證
實作輸出基準對齊驗證，確保 LLM 回應在事實上有所提供的脈絡支持。
walkthroughsdefenseoutput-groundingverification
Verifying That Remediations Are Effective
導覽 for planning and executing remediation verification testing (retesting) to confirm that AI vulnerability fixes are effective and do not introduce regressions.
remediationverificationretestingregressionmethodologywalkthrough