When is a test not a proof?

Eleanor McMurtry Olivier Pereira Vanessa Teague

Published in: IACR Cryptol. ePrint Arch. (2020)

Keyphrases

data sets
real time
case study
object recognition
expert systems
statistical tests
automated theorem proving