Ongoing work on decoding STL formulae
Sara Candussio
saracandu
AI & ML interests
Reasoning in Large Language Models
Recent Activity
published
a dataset
12 days ago
saracandu/filtered_hotpotQA
updated
a model
19 days ago
saracandu/stldec_onlyhard
published
a model
23 days ago
saracandu/stldec_onlyhard