arXiv · ML· Mostafa 'Neo' Mohsenvand·· 17 小时前AI 评分48
Sketchpad：利用小型视觉语言模型实现经认证的精确算术
Sketchpad: certified exact arithmetic with a small vision-language model
AI 导读
Qwen3.5-0.8B 配合低秩适配器在 Sketchpad 框架中实现了任意长度算术的精确计算，所有 2,446 个视图测试均通过。该模型在浏览器运行，解决了 200/200 预注册问题及长位数加减乘除运算，表现优于 GPT-6.1 Sol。 代码采用 Apache 2.0 许可证开源，符号运行时支持多项式求解与因式分解，适配器门控可恢复基础模型功能。
来源：arXiv · ML · arxiv.org