TY - RPRT TI - Convex and Bilevel Optimization for Neuro-Symbolic Inference and Learning AU - Charles Dickens AU - Changyu Gao AU - Connor Pryor AU - Stephen Wright AU - Lise Getoor PY - 2024 UR - https://arxiv.org/abs/2401.09651 ID - 2401.09651 ER -