TY - RPRT TI - State Synthesis with an NP oracle AU - Aniruddha Sen PY - 2026 UR - https://arxiv.org/abs/2611.02370 ID - 2611.02370 ER -