@misc{indiciaef5517806a0d3,
  title = {Machine-Verifying Toom-Cook Multiplication with Integer Evaluation Points},
  author = {Srihari Nanniyur and Siddhartha Jayanti},
  year = {2026},
  url = {https://arxiv.org/abs/2603.14038},
  note = {Source identifier: 2603.14038}
}