@misc{indiciae7fa371ace32b,
  title = {Symmetric Proofs of Parameterized Programs},
  author = {Ruotong Cheng and Azadeh Farzan},
  year = {2026},
  url = {https://arxiv.org/abs/2601.18745},
  note = {Source identifier: 2601.18745}
}