獨立研究與工程實踐

用 AI 開發，以證據驗證。

我們研究如何驗證 AI Agent 的行為，以及 AI 生成的軟體。

從形式化方法、測試與模擬，到日常工程中的驗證工作流程。