Pseudorandomness with Proof of Destruction and Applications.

Amit Behera Zvika Brakerski Or Sattath Omri Shmueli

Published in: TCC (4) (2023)

Keyphrases

linear logic
databases
theorem prover
mathematical proofs
data mining
reinforcement learning
formal proof