# formal
標記為「formal」的 2 篇文章
Formal Verification Limits Lab
Explore the limits of formal verification for neural network behavior and identify gaps exploitable by adversaries.
labexpertformalverificationlabslimits
Formal Verification Limits 實驗室
Explore the limits of formal verification for neural network behavior and identify gaps exploitable by adversaries.
labexpertformalverificationlabslimits