TY  - RPRT
TI  - SEVerA: Verified Synthesis of Self-Evolving Agents
AU  - Debangshu Banerjee
AU  - Changming Xu
AU  - Eugene Ie
AU  - Ming Zhang
AU  - Daiyi Peng
AU  - Chu-Cheng Lin
AU  - Gagandeep Singh
PY  - 2026
UR  - https://arxiv.org/abs/2603.25111
ID  - 2603.25111
ER  -