On the naturalness of proofs.

Vincent J. Hellendoorn Premkumar T. Devanbu Mohammad Amin Alipour

Published in: ESEC/SIGSOFT FSE (2018)

Keyphrases

theorem prover
equational theories
formal proof
mathematical proofs
neural network
theorem proving
formal proofs
data sets
decision trees
feature space
decision procedures
natural deduction