Received a 2026 Amazon Research Award.

Title: Self-Improving Agents that Induce Executable World Models of Unknown Environments: Toward Verifiable Code Synthesis Beyond Pretraining