TY  - RPRT
TI  - Arisca: A Parameterized Symbolic Algebra Framework for Arithmetic Circuit Verification
AU  - Kezhi Li
AU  - Min Li
AU  - Qiang Xu
PY  - 2026
UR  - https://arxiv.org/abs/2607.10257
ID  - 2607.10257
ER  -