Posthoc Verification and the Fallibility of the Ground Truth.

Yifan Ding Nicholas Botzer Tim Weninger

Published in: CoRR (2021)

Keyphrases

ground truth
ground truth data
model checking
quantitative evaluation
manually labeled
high quality
decision making
test images
disparity map
formal verification
database
evolutionary algorithm
human subjects
formal methods
cryptographic protocols
fingerprint verification