TY  - RPRT
TI  - Safe Neurosymbolic Learning with Differentiable Symbolic Execution
AU  - Chenxi Yang
AU  - Swarat Chaudhuri
PY  - 2022
UR  - https://arxiv.org/abs/2203.07671
ID  - 2203.07671
ER  -