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