TY - RPRT TI - Certified bounds on optimization problems in quantum theory AU - Younes Naceur AU - Jie Wang AU - Victor Magron AU - Antonio Acín PY - 2025 UR - https://arxiv.org/abs/2512.17713 ID - 2512.17713 ER -