conftrace_

polynomial verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

algebraic proof (1) verifiable computation (1) randomized approximation (1) proof verification (1) proof system (1) probabilistic verification (1) counting problem (1) randomized algorithm (1) monte carlo integration (1)

Papers

Trustworthy Monte Carlo NeurIPS 2022