TY  - RPRT
TI  - $\rm P$ has polynomial-time finite-state verifiers
AU  - M. Utkan Gezer
AU  - A. C. Cem Say
PY  - 2025
DO  - 10.46298/dmtcs.13854
UR  - https://arxiv.org/abs/2306.09542
ID  - 2306.09542
ER  -