SEVerA: Verified Synthesis of Self-Evolving Agents

arXiv:2603.25111 · cs.LG, cs.PL, cs.SE · Submitted 2026-03-26 · Read on arXiv

cs.LG, cs.PL, cs.SE

Submitted: 2026-03-26

Updated: 2026-10-15

Terminology

• Generative Model — 2× in this paper · explained in 2 episodes
• Verification — 2× in this paper · explained in 2 episodes
• Fine-Tuning — 1× in this paper · explained in 5 episodes
• Formally Guarded Generative Models — 1× in this paper
• GRPO — 1× in this paper · explained in 6 episodes
• Generative Models — 1× in this paper · explained in 3 episodes
• Self-Evolving Agents — 1× in this paper · explained in 2 episodes

Related papers

• Polynomial-Augmented Neural Networks (PANNs) with Weak Orthogonality Constraints for Enhanced Function and PDE Approximation
• AIRL-S: Unifying Reinforcement Learning and Search-Based Test-Time Scaling via Adversarial Inverse Reinforcement Learning
• Transformers as Bayesian In-Context Experimenters: Smoothness-Adaptive Efficient ATE Estimation
• Convergence issues in Relational Concept Analysis based on AOC-posets
• Beliefs Beyond Posteriors: The Predictive Cost of ELBO Binding
• Understanding Diffusion Models via Ratio-Based Function Approximation with SignReLU Networks