SEVerA: Verified Synthesis of Self-Evolving Agents
SEVerA introduces a framework to create self-evolving AI agents that are provably safe and correct. It combines formal logic specifications with LLM synthesis using Formally Guarded Generative Models (FGGM). The three-stage Search, Verification, and Learning process ensures the resulting agents meet strict behavioral constraints while simultaneously improving their performance on complex tasks.