Vote Veri cation using Hard AI Problems Academic Article uri icon