Collaborative, Learning, and Adaptive Robots Lab at NUS

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.

Embedding Symbolic Knowledge into Deep Networks

Leveraging prior symbolic knowledge to improve the performance of deep models.