XAI-LAW: A Logic Programming Tool for Modeling, Explaining, and Learning Legal Decisions *

We propose an approach to model articles of the Italian Criminal Code (ICC), using Answer Set Programming (ASP), and to semi-automatically learn legal rules from examples based on prior judicial decisions. The developed tool is intended to support legal experts during the criminal trial phase by providing reasoning and possible legal outcomes. The methodology involves analyzing and encoding articles of the ICC in ASP, including “crimes against the person” and property offenses. The resulting ...

Life Care Reverse Mortgage: applying actuarial technologies to assess the risks related to non-self-sufficiency

The Life Care Mortgage (LCRM), a bundled product combining a reverse mortgage contract and a long-term care insurance policy, represents an innovative solution to provide income support and longterm care protection for elderly individuals who are financially vulnerable, often lacking liquid resources and struggling to cover the costs associated with functional dependence, while owning their homes (the so-called “house-rich and cash-poor”). Several risks associated with LCRM contracts, su...

Mirko Basaldella tra Mediterraneo e America, alla scoperta di nuovi archetipi e miti

Analyzing AI Evaluation Benchmarks Through Information Retrieval and Network Science

Many analyses have been performed on Information Retrieval (IR) evaluation benchmarks. Benchmarking also plays a central role in evaluating the capabilities of Large Language Models (LLMs). In this paper, we apply an IR approach to LLM evaluation. Adapting a method developed for TREC test collections, we analyze LLM benchmark results through the lens of network science. We construct a bipartite graph between models and benchmark questions and apply Kleinberg’s HITS algorithm to uncover latent...