TY - RPRT TI - Expressivity of Contradiction Graphs AU - Jesse Campbell AU - Daniel Ibaibarriaga AU - Lev Reyzin PY - 2026 UR - https://arxiv.org/abs/2605.20434 ID - 2605.20434 ER -