Chenxi Yang, Swarat Chaudhuri. Safe Neurosymbolic Learning with Differentiable Symbolic Execution. In The Tenth International Conference on Learning Representations, ICLR 2022, Virtual Event, April 25-29, 2022. OpenReview.net, 2022. [doi]
Abstract is missing.