The focus on verification makes this approach stand out from many other AI projects.