Toward Autonomous Verification Systems