TY - RPRT TI - Towards the Formalization of a Trustworthy AI for Mining Interpretable Models explOiting Sophisticated Algorithms AU - Riccardo Guidotti AU - Martina Cinquini AU - Marta Marchiori Manerba AU - Mattia Setzu AU - Francesco Spinnato PY - 2025 UR - https://arxiv.org/abs/2510.20621 ID - 2510.20621 ER -