saracandu/stldec_random
0.2B • Updated • 9
🔁 STLdec @ ECML-PKDD 2025
Materials for the paper "Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers" (Candussio et al.) @ ECML-PKDD 2025
-
-
saracandu/stldec_random_512
Text Generation • 76.1M • Updated • 11 -
saracandu/stldec_balanced
0.2B • Updated -
saracandu/stldec_balanced_512
76.1M • Updated -
saracandu/stldec_easyskewed
0.2B • Updated -
saracandu/stldec_easyskewed_512
76.1M • Updated -
saracandu/stldec_hardskewed
0.2B • Updated -
saracandu/stldec_hardskewed_512
76.1M • Updated -
saracandu/stl_formulae
Viewer • Updated • 81.9k • 6 -
saracandu/stldec_random_16_large
Text Generation • 1.66M • Updated • 41 -
saracandu/stldec_random_32_large
Text Generation • 3.33M • Updated • 13 -
saracandu/stlenc
Feature Extraction • 0.2B • Updated • 39 -
Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers
Paper • 2507.07808 • Published