@misc{indiciaee6eb279cb531,
  title = {Arisca: A Parameterized Symbolic Algebra Framework for Arithmetic Circuit Verification},
  author = {Kezhi Li and Min Li and Qiang Xu},
  year = {2026},
  url = {https://arxiv.org/abs/2607.10257},
  note = {Source identifier: 2607.10257}
}