How to Delegate Computations: The Power of No-Signaling Proofs.

Yael Tauman Kalai Ran Raz Ron D. Rothblum

Published in: J. ACM (2022)

Keyphrases

power consumption
neural network
theorem proving
genetic algorithm
multiresolution
computational power
power distribution
knowledge base
case study
formal proofs