TY  - RPRT
TI  - Scratchy: Visual-Scratchpad Multimodal Reasoning for Cryptographic Proof Generation in EasyCrypt
AU  - Yupeng Ren
AU  - Zhaoxuan Li
AU  - Rui Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2609.06226
ID  - 2609.06226
ER  -