Finding Counter Examples in Induction Proofs.

Koen Claessen Hans Svensson

Published in: TAP (2008)

Keyphrases

counter examples
neural network
data sets
data mining
search engine
object oriented
orders of magnitude
inductive learning
theorem prover
constructive induction
method finds
proof search
formal proofs