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