TY - RPRT TI - Separation Results for Constant-Depth and Multilinear Ideal Proof Systems AU - Amik Raj Behera AU - Magnus Rahbek Dalgaard Hansen AU - Nutan Limaye AU - Srikanth Srinivasan PY - 2026 UR - https://arxiv.org/abs/2601.06299 ID - 2601.06299 ER -