@misc{indiciaeb1959a6d9fd3,
  title = {Sound Debloating of Redundant Checks in Zero-Knowledge Machine-Learning Circuits},
  author = {Zhantong Xue and Pingchuan Ma and Zhaoyu Wang and Yuguang Zhou and Huaijin Wang and Shuai Wang},
  year = {2026},
  url = {https://arxiv.org/abs/2609.10149},
  note = {Source identifier: 2609.10149}
}