@dsavlab

dsavlab has been a member of Linktree for 2 years and joined in November 2023. The social media accounts linked to from dsavlab are: • Email • GitHub • Website Besides social media accounts, dsavlab has populated their site with: • PAPER: Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy • PAPER: Automata-less Monitoring via Trace-Checking (Extended Version • GitHub Repo - Code • PAPER: Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring • Paper - NL to FOL • PAPER: Composable Sparse Subnetworks via Maximum-Entropy Principle • Paper - Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring • GitHub Repo - Appendix, Code, Supp. Material • Members • Thesis Proposals • UNIUD - Università degli Studi di Udine