TY  - RPRT
TI  - Decreasing verification radius in local certification
AU  - Laurent Feuilloley
AU  - Jan Janoušek
AU  - Jan Matyáš Křišťan
AU  - Josef Erik Sedláček
PY  - 2024
UR  - https://arxiv.org/abs/2408.10757
ID  - 2408.10757
ER  -