Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System

26 June 2022

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 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 Caterina Urban Antoine Miné 56 56 0 06 Apr 2021
Trustworthy AI Jeannette M. Wing 49 220 0 14 Feb 2020
Semantics of higher-order probabilistic programs with conditioning Fredrik Dahlqvist D. Kozen AI4CE 29 51 0 28 Feb 2019
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