TY - RPRT TI - Defining neurosymbolic AI AU - Lennert De Smet AU - Luc De Raedt PY - 2025 UR - https://arxiv.org/abs/2507.11127 ID - 2507.11127 ER -