Sign in

On the naturalness of proofs.

Vincent J. HellendoornPremkumar T. DevanbuMohammad 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