Login / Signup

One Step Forward, One Step Back: FLP-Style Proofs and the Round-Reduction Technique for Colorless Tasks.

Hagit AttiyaPierre FraigniaudAmi PazSergio Rajsbaum
Published in: CoRR (2023)
Keyphrases
  • real time
  • theorem proving
  • neural network
  • real world
  • post processing
  • multiple tasks