Sample-Based Proofs of Proximity.

Guy Goldberg Guy N. Rothblum

Published in: Electron. Colloquium Comput. Complex. (2021)

Keyphrases

theorem proving
data sets
active learning
sample size
sample points
equational theories
genetic algorithm
three dimensional
bayesian networks
data structure
test data
randomly selected
mathematical proofs