Login / Signup
Patrick Gerzanics
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Ai Methods
Information Processing
Theorem Prover
Science Fiction
Top Venues
CoRR
</>
Publications
</>
Andrei Lihu
,
Jincheng Du
,
Igor Barjaktarevic
,
Patrick Gerzanics
,
Mark Harvilla
A Proof of Useful Work for Artificial Intelligence on the Blockchain.
CoRR
(2020)