ResearchTrend.AI
Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System

F. A. DÁsaro
Francesco Genco
Giuseppe Primiero
ArXivPDFHTML

Papers citing "Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System"

5 / 5 papers shown
Title
Evaluating AI fairness in credit scoring with the BRIO tool
Evaluating AI fairness in credit scoring with the BRIO tool
Greta Coraglia
Francesco Genco
Pellegrino Piantadosi
Enrico Bagli
Pietro Giuffrida
Davide Posillipo
Giuseppe Primiero
47
3
0
05 Jun 2024
A Review of Formal Methods applied to Machine Learning
A Review of Formal Methods applied to Machine Learning
Caterina Urban
Antoine Miné
56
56
0
06 Apr 2021
Trustworthy AI
Trustworthy AI
Jeannette M. Wing
49
220
0
14 Feb 2020
Semantics of higher-order probabilistic programs with conditioning
Semantics of higher-order probabilistic programs with conditioning
Fredrik Dahlqvist
D. Kozen
AI4CE
27
51
0
28 Feb 2019
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
T. Dreossi
Daniel J. Fremont
Shromona Ghosh
Edward J. Kim
H. Ravanbakhsh
Marcell Vazquez-Chanlatte
Sanjit A. Seshia
42
29
0
12 Feb 2019

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.