# guarantees
2 articlestagged with “guarantees”
Adversarial Robustness Certification
Research into certifiable adversarial robustness for LLMs, including theoretical bounds and practical certification methods.
researchcertificationrobustnessguarantees
Formal Verification of Injection Defenses
Research into formal methods for verifying injection defense properties and providing mathematical guarantees of defense effectiveness.
researchformal-verificationproofsguarantees