TY - RPRT TI - Constraint Learning by Optimizing over Trained Neural Networks: A Pragmatic Tutorial AU - Jiaxiao Fang AU - Thiago Serra PY - 2026 UR - https://arxiv.org/abs/2610.35505 ID - 2610.35505 ER -