AI Verification § Group: 5 #group-5 Relations § AI Safety: AI Verification refers to the process of formally verifying the correctness and safety properties of AI systems, which is important for ensuring AI Safety.