实体 Scratchy

Scratchy

PulseAugur coverage of Scratchy — every cluster mentioning Scratchy across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_244954 · Sep 10 · 04:00

新的视觉方法提高了LLM在密码学证明上的性能

研究人员推出了一种新颖的视觉草稿板方法Scratchy，旨在增强EasyCrypt中密码学证明生成的视觉草稿板多模态推理。该方法将自然语言安全描述转换为结构化证明关系图，然后将其转换为视觉证明状态。这种视觉表示极大地帮助了GPT-5.6-Sol和Claude Opus-5等大型语言模型构建复杂的密码学证明。为了评估Scratchy，开发了一个名为Scratchy-eval的新数据集，其中包含114个源自官方EasyCrypt文件的任务。