• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Pseudorandomness with Proof of Destruction and Applications.

Amit BeheraZvika BrakerskiOr SattathOmri Shmueli
Published in: TCC (4) (2023)
Keyphrases
  • linear logic
  • databases
  • theorem prover
  • mathematical proofs
  • data mining
  • reinforcement learning
  • formal proof