Motivated Proofs: What they are, Why they Matter and How to Write them.

Rebecca Lea Morris

Published in: Rev. Symb. Log. (2020)

Keyphrases

theorem prover
theorem proving
formal proof
data sets
databases
neural network
face recognition
video sequences
evolutionary algorithm
read write