Sketchpad: 使用小型视觉语言模型实现认证精确算术

研究人员提出Sketchpad方法，使用Qwen3.5-0.8B模型结合低秩适配器在渲染工作表上执行算术程序。模型每次前向传播读取三个单元格视图并输出一个步骤，证明了模型对所有任意长度输入的精确性可通过有限视图集验证。该模型在浏览器中成功解决了200个预注册问题，以及220个最多1000位数字的加法和最多20位数字的乘法，准确率超过GPT-6.1 Sol等其他十个模型。