TY - RPRT TI - COBRA: Compression via Abstraction of Provenance for Hypothetical Reasoning AU - Daniel Deutch AU - Yuval Moskovitch AU - Noam Rinetzky PY - 2020 UR - https://arxiv.org/abs/2007.05389 ID - 2007.05389 ER -