@misc{indiciaed66e9e7605c1,
  title = {ScratchLens: Lens-Parametric Behavioral Equivalence for Scratch Programs},
  author = {Yuan Si and Jialu Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2606.15817},
  note = {Source identifier: 2606.15817}
}