6 papers
A Low-Code Approach for the Automatic Personalization of Conversational Agents
Aaron Conrardy, Alfredo Capozucca, Jordi Cabot
The rise of Large Language Models (LLMs) has increased the demand for Conversational Agents (CAs) capable of understanding human conversations as part of web applications. While tr…
Bathtubs, Boundaries, and Sandboxes: AI Regulatory Learning under Legal Uncertainty
Tom Deckenbrunnen, Alessio Buscemi, Marco Almada +2
Effective regulation of AI is a defining policy challenge, driven by their integration into all aspects of society. To remain responsive to their rapid development and emergent pro…
LLM-FACETS: A Privacy-Preserving Framework for Evaluating LLM Transparency and Accountability
Tom Lucas, Alessio Buscemi, Alfredo Capozucca +2
Assessing whether Large Language Models outputs are factually grounded, epistemically calibrated, and methodologically reproducible is a prerequisite for responsible AI deployment.…
{log}: From a Constraint Logic Programming Language to a Formal Verification Tool
Maximiliano Cristiá, Alfredo Capozucca, Gianfranco Rossi
{log} (read 'setlog') was born as a Constraint Logic Programming (CLP) language where sets and binary relations are first-class citizens, thus fostering set programming. Internally…
Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method
Alfredo Capozucca, Daniil Yampolskyi, Alexander Goldberg +1
This paper investigates the role of AI assistants, specifically OpenAI's ChatGPT, in teaching formal methods (FM) to undergraduate students, using the B-method as a formal specific…
Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation
Alfredo Capozucca, Maximiliano Cristiá, Ross Horne +1
This paper revisits the Brewer-Nash security policy model inspired by ethical Chinese Wall policies. We draw attention to the fact that write access can be revoked in the Brewer-Na…