TY - RPRT TI - Testing hypotheses generated by constraints AU - Martin Larsson AU - Aaditya Ramdas AU - Johannes Ruf PY - 2026 UR - https://arxiv.org/abs/2504.02974 ID - 2504.02974 ER -