TY - RPRT TI - Neuro-symbolic Learning Yielding Logical Constraints AU - Zenan Li AU - Yunpeng Huang AU - Zhaoyu Li AU - Yuan Yao AU - Jingwei Xu AU - Taolue Chen AU - Xiaoxing Ma AU - Jian Lu PY - 2024 UR - https://arxiv.org/abs/2410.20957 ID - 2410.20957 ER -