Two prover protocols: low error at affordable rates.

Uriel Feige Joe Kilian

Published in: STOC (1994)

Keyphrases

low error
real valued
training set
theorem proving
theorem prover
data sets
machine learning
generalization error
web search