TY - RPRT TI - On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms AU - Luke E. Richards AU - Jessie Yaros AU - Jasen Babcock AU - Coung Ly AU - Robin Cosbey AU - Timothy Doster AU - Cynthia Matuszek PY - 2025 UR - https://arxiv.org/abs/2502.08932 ID - 2502.08932 ER -