# safety-properties
標記為「safety-properties」的 2 篇文章
Formal Verification of LLM Safety Properties
Apply formal verification methods to prove or disprove safety properties of LLM-based applications.
labsformal-verificationsafety-propertiesexpert
Formal Verification of LLM Safety Properties
Apply formal verification methods to prove or disprove safety properties of LLM-based applications.
labsformal-verificationsafety-propertiesexpert