TY - RPRT TI - Learning with Logical Constraints but without Shortcut Satisfaction AU - Zenan Li AU - Zehua Liu AU - Yuan Yao AU - Jingwei Xu AU - Taolue Chen AU - Xiaoxing Ma AU - Jian Lü PY - 2024 UR - https://arxiv.org/abs/2403.00329 ID - 2403.00329 ER -