C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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