Small vision-language model achieves certified exact arithmetic
Qwen3.5-0.8B with external sheet memory proves exact arithmetic for all input lengths after checking finite views in Lean.
Stories per day · 30 days
1 stories, newest first · one card per story
Stories tagged #certified-arithmetic