First-Order Temporal Logic Tensor Networks


This is a companion discussion topic for the original entry at https://arxiv.org/abs/2606.29972