1 articletagged with “formal-models”
Theoretical frameworks for formally modeling and reasoning about prompt injection vulnerabilities.