Embedding Symbolic Temporal Knowledge into Deep Sequential Models
We embed symbolic knowledge expressed as linear temporal logic (LTL) and use these embeddings to guide the training of deep sequential models.
Videos
Collaborative, Learning, and Adaptive Robots Lab at NUS
Embedding Symbolic Knowledge into Deep Networks
Leveraging prior symbolic knowledge to improve the performance of deep models.