Roman Yampolskiy - Verification and AI Safety (via searchlore.ai)