Materials for the paper "Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers" (Candussio et al.) @ ECML-PKDD 2025
Sara Candussio
saracandu
AI & ML interests
Reasoning in Large Language Models
Recent Activity
updated
a model
18 days ago
saracandu/stldec_random
updated
a collection
18 days ago
🔁 STLdec @ ECML-PKDD 2025
updated
a dataset
18 days ago
saracandu/stl_formulae
Organizations
models
8
saracandu/stldec_random
0.2B
•
Updated
saracandu/stldec_easyskewed_512
0.1B
•
Updated
saracandu/stldec_easyskewed
0.2B
•
Updated
saracandu/stldec_balanced_512
0.1B
•
Updated
saracandu/stldec_balanced
0.2B
•
Updated
saracandu/stldec_random_512
0.1B
•
Updated
saracandu/stldec_hardskewed_512
0.1B
•
Updated
saracandu/stldec_hardskewed
0.2B
•
Updated