Changming Xu

University of Illinois Urbana-Champaign

Papers on Lattice

Total citations

Topics

h-index

Research focus

Code Generation & Program Synthesis (1)Scientific Discovery & Drug Design (1)Tool Use & Agents (1)

Frequent co-authors

Debangshu Banerjee (1)Debangshu Banerjee (1)Changming Xu (1)Gagandeep Singh (1)

Papers (1)

Mar 26, 2026

SEVerA: Verified Synthesis of Self-Evolving Agents

Guaranteeing safety and correctness in self-evolving LLM agents is now possible: SEVerA achieves zero constraint violations while *improving* performance.

Debangshu Banerjee, Debangshu Banerjee, Changming Xu +3

Code Generation & Program Synthesis Scientific Discovery & Drug Design Tool Use & Agents

Search

Changming Xu

Research focus

Frequent co-authors

Papers (1)