TY - RPRT TI - Sketchpad: certified exact arithmetic with a small vision-language model AU - Mostafa 'Neo' Mohsenvand PY - 2026 UR - https://arxiv.org/abs/2611.04434 ID - 2611.04434 ER -