Distributed-Prover Interactive Proofs.

Sourav Das Rex Fernando Ilan Komargodski Elaine Shi Pratik Soni

Published in: TCC (1) (2023)

Keyphrases

theorem proving
theorem prover
distributed systems
automated theorem proving
multi agent
data sets
mobile agents
databases
proof search
heterogeneous environments
communication overhead
distributed computing
inference rules
decision procedures
computer graphics
information retrieval
neural network