conftrace_

randomized approximation

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

verifiable computation (1) polynomial verification (1) algebraic proof (1) proof verification (1) proof system (1) probabilistic verification (1) counting problem (1) matrix permanent (1) rejection sampling (1) randomized algorithm (1)

Papers

Trustworthy Monte Carlo NeurIPS 2022 Approximating the Permanent with Deep Rejection Sampling NeurIPS 2021