AIKIT
Verification and Self-Improvement in Agentic AI: Foundations and Limits | AIKIT