conftrace_

algebraic proof

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

polynomial verification (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