TY - RPRT TI - DisjunctiveNet: Neural Symbolic Learning via Differentiable Convexified Optimization Layers AU - Shraman Pal AU - Can Li PY - 2026 UR - https://arxiv.org/abs/2605.30456 ID - 2605.30456 ER -