AI Alignment

Abstract: Yoav Hollander is a world-class expert in chip verification. The company he founded, Foretellix, brought coverage-driven verification (CDV) into autonomous driving. Recently he wrote a post pushing the methodology into a much larger arena: AI alignment. This post reads that cross-domain migration from my own research field — the SOTIF four-quadrant model, the tree-like structure of Robot SOTIF, and the standards-driven Chinese context. The core question stays the same throughout: how do you know what you don’t know? ...

This page hosts my Chinese translation of Yoav Hollander’s post on coverage-driven alignment, translated with the author’s permission. If you read English, please read the original directly: Coverage-driven alignment – What ‘Teaching Claude Why’ can borrow from AV verification — Yoav Hollander, LessWrong, June 8, 2026. For my own commentary on what CDV’s cross-domain migration means for SOTIF and robot safety, see CDV Crossing Domains: A Robot SOTIF Perspective. If you care about AI safety, Yoav’s The Foretellix CTO Blog is worth following — every post is a classic.