Deep Generative Symbolic Regression with Monte-Carlo-Tree-Search

Open-Ended Dreamer: An Unsupervised Diversity-oriented Neurosymbolic Learner

Slot-VAE: Object-Centric Scene Inference and Generation with Slot Attention

Generating Temporal Logical Formulas with Transformer GANs

Using Domain Knowledge to Guide Dialog Structure Induction via Neural Probabilistic Soft Logic

Grounded physical language understanding with probabilistic programs and simulated worlds