@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, PAPER: Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy, 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, Website, Members, Thesis Proposals, UNIUD - Università degli Studi di Udine.