Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers

Sara Candussio, Gaia Saveri, Gabriele Sarti, Luca Bortolussi
January 2025
Cite URL
Type
Conference paper
Publication
European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML-PKDD)
Gabriele Sarti
Gabriele Sarti
PhD Student