TY - RPRT TI - Monte Carlo Anti-Differentiation for Approximate Weighted Model Integration AU - Pedro Zuidberg Dos Martires AU - Samuel Kolb PY - 2020 UR - https://arxiv.org/abs/2001.04566 ID - 2001.04566 ER -