A Proof of Useful Work for Artificial Intelligence on the Blockchain. - Andrei Lihu; Jincheng Du; Igor Barjaktarevic; Patrick Gerzanics; Mark Harvilla (CoRR, 2020)