Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers

Sara Candussio, Gaia Saveri, Gabriele Sarti +1

Continuous representations of logic formulae allow us to integrate symbolic knowledge into data-driven learning algorithms. If such embeddings are semantically consistent, i.e. if…