高级第 5 / 12 节40 分钟 · 实操
Verification Loops: Make It Prove Itself
Vibe Coding: Advanced Engineering 课程的一部分
想在真实环境里学习 Vibe Coding: Advanced Engineering Verification Loops: Make It Prove Itself 吗?
点击下方,立即获得一台预装 Vibe Coding: Advanced Engineering 的 Linux 主机,跟懂你代码的 AI 导师一起完成 Verification Loops: Make It Prove Itself 的实操练习。
开始这节课Verification Loops: Make It Prove Itself你将学到什么
- Properties and invariants instead of example tests
- Generated inputs find what handwritten examples miss
- Shrinking a counterexample before handing it over
- Closing the loop so the model checks itself
