@misc{indiciae7ca9302d8f63,
  title = {Scratchy: Visual-Scratchpad Multimodal Reasoning for Cryptographic Proof Generation in EasyCrypt},
  author = {Yupeng Ren and Zhaoxuan Li and Rui Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2609.06226},
  note = {Source identifier: 2609.06226}
}