An Automatic Inequality Prover and Instance Optimal Identity Testing.

Gregory Valiant Paul Valiant

Published in: SIAM J. Comput. (2017)

Keyphrases

theorem proving
multiscale
artificial intelligence
dynamic programming
finding optimal
data sets
databases
social networks
active learning
worst case
fully automatic
theorem prover