Guess and Prove: A Hybrid Approach to Linear Polynomial Recovery in Circuit Verification.

Clemens Hofstadler, Daniela Kaufmann

Browse the full CP paper archive.