The University of Texas at Austin
Chenxi Yang, Swarat Chaudhuri
Verified Learning;Neurosymbolic Programs;Safe Learning;Symbolic Execution
Safe Neurosymbolic Learning with Differentiable Symbolic Execution