Batch Proofs are Statistically Hiding.

Nir Bitansky Chethan Kamath Omer Paneth Ron Rothblum Prashant Nalini Vasudevan

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

Keyphrases

data mining
theorem proving
theorem prover
real world
decision making
equational theories
batch mode
information retrieval
databases
batch processing
batch learning
formal proofs
clustering algorithm
image sequences
multiscale
image processing
computer programs
quality prediction
cut elimination
data sets