Sample-Based Proofs of Proximity.

Guy Goldberg Guy N. Rothblum

Published in: ITCS (2022)

Keyphrases

neural network
image processing
data sets
three dimensional
data structure
mobile robot
theorem prover
theorem proving
formal proofs