When Is a Proof Actually Not?

Published in: WOOT @ USENIX Security Symposium (2020)

Keyphrases

formal proof
mathematical proofs
theorem prover
theorem proving
information retrieval
search engine
image segmentation
digital libraries
hidden markov models
linear logic
proof theory