2 papers
cs.SE2026
Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications
Alberto Tagliaferro, Bruno Guindani, Livia Lestingi +1
Early-stage specifications of safety-critical systems are typically expressed in natural language, making it difficult to derive formal properties suitable for verification and nee…
cs.CL2026
Do You Understand How I Feel?: Towards Verified Empathy in Therapy Chatbots
Francesco Dettori, Matteo Forasassi, Lorenzo Veronese +3
Conversational agents are increasingly used as support tools along mental therapeutic pathways with significant societal impacts. In particular, empathy is a key non-functional req…