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 dataset
about 15 hours ago
saracandu/stl_formulae
updated
a model
about 16 hours ago
saracandu/stldec_random_32
updated
a model
about 16 hours ago
saracandu/stldec_random_64
Organizations
models
12
saracandu/stldec_random_32
Text Generation
•
0.0B
•
Updated
•
70
saracandu/stldec_random_64
Text Generation
•
0.0B
•
Updated
saracandu/stldec_random_32_large
Text Generation
•
0.0B
•
Updated
•
93
saracandu/stldec_random_16_large
Text Generation
•
0.0B
•
Updated
•
152
saracandu/stldec_random_512
Text Generation
•
0.1B
•
Updated
•
15
saracandu/stldec_random
0.2B
•
Updated
•
52
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