TY  - RPRT
TI  - Distributed Local Verification using Proofs with(out) Errors
AU  - Paweł Garncarek
AU  - Tomasz Jurdzinski
AU  - Dariusz Kowalski
AU  - Subhajit Pramanick
PY  - 2026
UR  - https://arxiv.org/abs/2603.20831
ID  - 2603.20831
ER  -