Ongoing work on decoding STL formulae
Sara Candussio
saracandu
AI & ML interests
Reasoning in Large Language Models
Recent Activity
updated
a model
5 days ago
saracandu/stldec_onlyhard
published
a model
9 days ago
saracandu/stldec_onlyhard
upvoted
a
collection
about 2 months ago
🔍 Interpretability & Analysis of LMs