Machine-Verifying Toom-Cook Multiplication with Integer Evaluation Points. - Srihari Nanniyur; Siddhartha Jayanti (CoRR, 2026)