Update empirically-driven_verification.html