独立研究与工程实践

用 AI 开发，以证据验证。

我们研究如何验证 AI Agent 的行为，以及 AI 生成的软件。

从形式化方法、测试与模拟，到日常工程中的验证工作流。