Prediction without Preclusion: Recourse Verification with Reachable Sets.

Avni Kothari Bogdan Kulynych Tsui-Wei Weng Berk Ustun

Published in: ICLR (2024)

Keyphrases

prediction accuracy
prediction model
prediction error
model checking
prediction algorithm
genetic algorithm
data sets
artificial intelligence
computer vision
information systems
decision trees
computational complexity
expert systems
multistage
face verification
formal verification