Yu-Peng Ren

Scratchy: Visual-Scratchpad Multimodal Reasoning for Cryptographic Proof Generation in EasyCrypt

Scratchy is presented, a visual-scratchpad approach that exposes proof-theoretic dependencies for multimodal generation in large language models and suggests that explicit proof structure can make the improvement and multimodal proof-state representation as a promising direction for computer-aided cryptography.