works on
agentic AI 1hardware verification 1interactive theorem proving 1lean 4 1parameterized designs 1proof reuse 1

From the 1 of 9 linked papers with an AI index.

collaborators
Showing cs.SCShow all

1 paper · 1 filter

cs.SC2026

Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits

Clemens Hofstadler, Daniela Kaufmann, Chen Chen

Word-level verification of arithmetic circuits with large operands typically relies on arbitrary-precision arithmetic, which can lead to significant computational overhead as word…