On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms. - Luke E. Richards; Jessie Yaros; Jasen Babcock; Coung Ly; Robin Cosbey; Timothy Doster; Cynthia Matuszek (CoRR, 2025)