# formal-verification
2 articlestagged with “formal-verification”
Formal Verification of Injection Defenses
Research into formal methods for verifying injection defense properties and providing mathematical guarantees of defense effectiveness.
researchformal-verificationproofsguarantees
Formal Verification of LLM Safety Properties
Apply formal verification methods to prove or disprove safety properties of LLM-based applications.
labsformal-verificationsafety-propertiesexpert