Batch Proofs Are Statistically Hiding.

Nir Bitansky Chethan Kamath Omer Paneth Ron D. Rothblum Prashant Nalini Vasudevan

Published in: STOC (2024)

Keyphrases

theorem proving
theorem prover
formal proofs
databases
batch learning
evolutionary algorithm
batch processing
mathematical proofs
database
batch mode
decision procedures
computer programs
special case
multiscale
web services
decision making
information systems
data mining
neural network
data sets
real time