TY  - RPRT
TI  - Rational-Valued Affine Verifiers in Arthur--Merlin Proof Systems
AU  - Zeyu Chen
AU  - Junde Wu
PY  - 2026
UR  - https://arxiv.org/abs/2509.07857
ID  - 2509.07857
ER  -