Login / Signup

WhaleProver: First-Order Intuitionistic Theorem Prover Based on the Inverse Method.

Vladimir PavlovVadim Pak
Published in: Ershov Informatics Conference (2017)
Keyphrases
  • theorem prover
  • cost function
  • first order logic
  • high accuracy
  • probabilistic model
  • clustering method
  • neural network
  • support vector machine
  • automated reasoning
  • automated theorem proving