2 papers
cs.DS2026
Machine-Verifying Toom-Cook Multiplication with Integer Evaluation Points
Srihari Nanniyur, Siddhartha Jayanti
We present a machine-verified proof of the correctness of Toom-Cook multiplication with generalized integer evaluation points. Toom-Cook is a class of fast multiplication algorithm…
cs.CL2023
IEKG: A Commonsense Knowledge Graph for Idiomatic Expressions
Ziheng Zeng, Kellen Tan Cheng, Srihari Venkat Nanniyur +2
Idiomatic expression (IE) processing and comprehension have challenged pre-trained language models (PTLMs) because their meanings are non-compositional. Unlike prior works that ena…