{"data":{"id":"5be362c4-d4dc-4edf-889f-90db28b5b0c5","title":"VEPA: Verified Evolving Formal Policy for Lifelong LLM Agent Guardrails","summary":"VEPA is a framework that evolves formal agent guardrails during deployment. An LLM proposes policy patches as executable symbolic rules over typed agent events, a deterministic verifier accepts only structurally valid, conflict-free policies, and an evidence-aware layer activates rules only with enough supporting evidence. Across ASSEBench-Safety, ASSEBench-Security, and ATBench, it outperforms baselines and keeps working under mixed streams, corrupted feedback, and longer horizons.","solution":"N/A -- no mitigation discussed in source.","labels":["research","safety"],"sourceUrl":"https://arxiv.org/abs/2610.12813v1","publishedAt":"2026-10-08T23:49:50.000Z","cveId":null,"cweIds":null,"cvssScore":null,"cvssSeverity":null,"severity":"info","attackType":[],"issueType":"research","affectedPackages":null,"affectedPackageNames":null,"affectedPackageRefs":null,"affectedVendors":[],"affectedVendorsRaw":[],"classifierModel":"claude-haiku-5-5","classifierPromptVersion":"v4","summaryPromptVersion":"v2","headline":null,"headlinePromptVersion":null,"cvssVector":null,"attackVector":null,"attackComplexity":null,"privilegesRequired":null,"userInteraction":null,"exploitMaturity":null,"epssScore":null,"epssCheckedAt":null,"kevDateAdded":null,"advisoryAliases":null,"affectedPackagesSource":null,"affectedPackagesCheckedAt":null,"patchAvailable":null,"disclosureDate":"2026-10-08T23:49:50.000Z","capecIds":null,"crossRefCount":0,"attackSophistication":"moderate","impactType":["safety"],"aiComponentTargeted":"agent","llmSpecific":true,"classifierConfidence":0.95,"researchCategory":"preprint","atlasIds":null}}